Release Plan

Emilio Jesús Gallego Arias edited this page Feb 9, 2019 · 3 revisions

Vincent Laporte is the release manager (RM) for 8.10. He’ll be assisted in this task by Maxime Dénès.

As to roughly follow the 6-month release cycle, here is the proposed schedule:

Hopefully, the release will be out before Types 2019 (https://cas.oslo.no/types2019/).

Some major changes are expected for that release: primitive integers, strict propositions (SProp), reworked build-system based on dune, …

The following issue can be used to track the release process: https://github.com/coq/coq/issues/8446

Clone this wiki locally
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.
Press h to open a hovercard with more details.