Publish the 8.11.1 release.

coq / coq.github.io

Source files of the coq.inria.fr website

https://coq.inria.fr/

Other

15 stars 37 forks source link

Closed ppedrot closed 4 years ago

ppedrot commented 4 years ago

I'll send e-mail announcements when this is merged.

Zimmi48 commented 4 years ago

(letting you merge this when ready)

Zimmi48 commented 4 years ago

Should we merge this now?

ppedrot commented 4 years ago

I'll do it soon.