aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/LICENSE
Commit message (Expand)AuthorAge
* doc: Rename UbuntuMono-Square to CoqNotations and tweak spacingGravatar Clément Pit-Claudel2018-04-14
* Integration of a sphinx-based documentation generator.Gravatar Maxime Dénès2018-03-09
* Remove outdated information regarding the FAQ.Gravatar Théo Zimmermann2018-03-06
* Switch the few remaining iso-latin-1 files to utf8Gravatar Pierre Letouzey2014-12-09
* Mise à jour des fichiers README et INSTALL de la doc (bug #1921) + suppressi...Gravatar notin2008-08-06