Commit message (Expand) | Author | Age | |
---|---|---|---|
* | doc: Rename UbuntuMono-Square to CoqNotations and tweak spacing | 2018-04-14 | |
* | Integration of a sphinx-based documentation generator. | 2018-03-09 | |
* | Remove outdated information regarding the FAQ. | 2018-03-06 | |
* | Switch the few remaining iso-latin-1 files to utf8 | 2014-12-09 | |
* | Mise à jour des fichiers README et INSTALL de la doc (bug #1921) + suppressi... | 2008-08-06 |