Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge PR #7783: Move INSTALL.doc to doc/README.md and improve a few things. | 2018-06-26 | |
|\ | |||
| * | Fix copyright dates in doc/LICENSE. | 2018-06-22 | |
* | | Remove Tutorials from doc/LICENSE following #7466. | 2018-06-17 | |
|/ | |||
* | 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 |