Coq Call 2020 01 15
- January 15th 2020, 4pm-5pm Paris Time
- How to join the call
- Add your topics below
- Code owners update wrap-up (https://github.com/coq/coq/pull/11295#issuecomment-572125489) https://github.com/orgs/coq/teams/pushers/teams
- How's the GTK3 port working on all architectures, upstream asks if it should move out of beta. (cf. https://github.com/garrigue/lablgtk/issues/90)
- marketing team (cf. https://github.com/coq-community/manifesto/issues/89)
- coqdoc plans/status (cf. problems pointed out in https://github.com/coq/coq/pull/11394#pullrequestreview-342173454)
-
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.
To the extent possible under law, the contributors of “Cocorico!, the Coq wiki” have waived all copyright and related or neighboring rights to their contributions.
By contributing to Cocorico!, the Coq wiki, you agree that you hold the copyright and you agree to license your contribution under the CC0 license or you agree that you have permission to distribute your contribution under the CC0 license.