Skip to content

History / Release Plan for Coq 8.12

Edit page New page

Revisions

  • Updated Release Plan for Coq 8.12 (markdown)

    @Zimmi48Zimmi48 committed Apr 22, 2020
    110096a

  • Tentative release schedule, to be refined.

    @Zimmi48Zimmi48 committed Apr 6, 2020
    7700266

  • Updated Release Plan for Coq 8.12 (markdown)

    @Zimmi48Zimmi48 committed Nov 25, 2019
    f9dffcd

  • Updated Release Plan for Coq 8.12 (markdown)

    @ejgallegoejgallego committed Nov 24, 2019
    3d8517e

  • Created Release Plan for Coq 8.12 (markdown)

    @ejgallegoejgallego committed Nov 24, 2019
    f9e8980