Skip to content

Release Plan 8.11

Matthieu Sozeau edited this page Oct 1, 2019 · 2 revisions

Pierre-Marie Pédrot & Matthieu Sozeau are the release managers (RM) for 8.11.

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

Hopefully, the release will even be out before Christmas!

Some major changes are expected for that release: Ltac2, vos, VSCoq support, primitive floats (tentatively)...

Fixes:

  • Import/Export inconsistency fixes
  • Universes and the global env.

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

Clone this wiki locally
You can’t perform that action at this time.