Skip to content

Coq Call 2020 01 15

Emilio Jesus Gallego Arias edited this page Jan 15, 2020 · 8 revisions

Topics

Notes

  • Move to maintainer teams.

    Proposal by Maxime and Théo to gathe some short description of each component and the teams expected work:

    • low maintainance
    • frozen state
    • in development, in which case which projects are incoming

    Decision to write a draft on of the description/status of components on the wiki and discuss it at the next WG.

  • CoqLang account for official presence on Twitter. Managed by Théo, Karl and Emilio for now. Community management team.

  • coqdoc plans / status: currently unmaintained Competing solutions exist (coqdoc2 et js / serapi-based solutions?).

  • lablgtk3 feedback on use in CoqIDE. Hugo thinks no major API changes should happen, maybe some functions should be added. Sourceview4 should be tried (Emilio), Pierre-Marie reports a few issues in his PR about completion.

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