History / Notes on the release process of Coq 8.11

Edit page New page

Revisions

add years to dates

tchajed committed Jan 1, 2020

2605f8e
Updated Notes on the release process of Coq 8.11 (markdown)

jfehrle committed Oct 7, 2019

24a88d8
Updated Notes on the release process of Coq 8.11 (markdown)

clarus committed Oct 7, 2019

3d69b38
Init.

ppedrot committed Oct 7, 2019

4fd0f93