The Coq mailing list

[Pierre Letouzey <pierre.letouzey AT inria.fr>]

Dear all,

As some of you may have already noticed, after the Coq bug tracker, it's now 
the Coq Wiki
(nicknamed Cocorico!) that has been migrated to the Github infrastructure. 
Its direct URL
is now:

  https://github.com/coq/coq/wiki

and the former URL https://coq.inria.fr/cocorico will redirect you there as 
well.
To access a particular page, for instance the new HelpOnGithubWiki page, you 
could use
either:

  https://github.com/coq/coq/wiki/HelpOnGithubWiki
  https://coq.inria.fr/cocorico/HelpOnGithubWiki

Anyone with a Github account may edit the pages in this Wiki, no more coq 
captcha ;-).
Note that having a look at this HelpOnGithubWiki page above is recommended 
before editing.

The migration from the former MoinMoin-based setup should normally have been 
quite thorough,
but the syntax conversion to markdown wasn't trivial, so a few glitches may 
still remain here
and there (sorry), feel free to go and improve the pages that deserve it.
Some obsolete pages have already been removed, some others heavily edited 
and/or renamed,
so a few pointers to cocorico pages will have to be adapted.
For more details about this migration, see 
https://github.com/coq/coq/wiki/WikiMigration .
If needed, the old Cocorico will still be accessible for some time in 
read-only mode at
https://coq.inria.fr/cocorico-old/

Best regards
Pierre Letouzey

PS: Thanks to all the early testers of this new Wiki !