Skip to content

History / UsersDiscussion88

Edit page New page

Revisions

  • Update after release of beta version.

    @herbelin herbelin committed Apr 5, 2018
    5181fcf

  • Include issues in the link of "features planned for integration".

    @Zimmi48 Zimmi48 committed Jan 4, 2018
    8bde686

  • Update UsersDiscussion88.md Explicit links to PR.

    @herbelin herbelin committed Dec 25, 2017
    5846184

  • Create UsersDiscussion88.md A page for interacting with users about features of Coq 8.8.

    @herbelin herbelin committed Dec 25, 2017
    74207a1