Skip to content

Release Plan for Coq 8.12

Théo Zimmermann edited this page Nov 25, 2019 · 3 revisions

Emilio J. Gallego Arias and Théo Zimmerman are the release managers for 8.12

The following issue can be used to track the release process:


High-level overview

  • Continuation of the API refactoring in order to improve integration with 3rd party plugins and tooling.
  • Improving and stabilizing some experimental features such as grammar entries, vos support, etc...

Compatibility changes

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