Follow-up of https://github.com/math-comp/math-comp/wiki/Agenda-of-the-May-22nd-2019-documentation-meeting-9h30-to-12h30

Agenda

• Installation and update (nix, opam, etc)
• Tutorials: mathcomp in a hurry (mathcomp schools material, is one promoted?)
• Advertisement and info for related works (website management)
• Documentation for users, e.g.
  • declare a new instance of a canonical structure (e.g. field, ...) (tbd)
  • use hierarchy of substructures...
  • how to work with vector spaces

Minutes

• ssreflect on gforge is "Deny from all".
• gitter vs slack vs zulip -> zulip selected
  • advertise zulip during schools
  • advertise zulip on website
• new users: How to install? Where to talk? This should be on the website
• Website:
  • Getting started
  • Where to talk?

Decisions:

• Test ".org" website by Reynald
  • Change stylesheet
  • Minimal website (install (href INSTALL.md) + change contact + getting started) <- Assia
  • Issues regarding windows -> test coq windows installer (cf https://github.com/coq/coq/issues/10455)
• Open zulip <- Cyril
• Followup with nix (with Marie and PY). <- Cyril
• Put one mathcomp school tutorial on the website. <- Marie tells us which is the easiest.