Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Moving Gitlab CI documentation build to the main Coq build. | 2018-03-09 | |
* | Integration of a sphinx-based documentation generator. | 2018-03-09 | |
* | [flags] Remove XML output flag. | 2017-08-01 | |
* | Fix some typos. | 2015-10-13 | |
* | "allows to", like "allowing to", is improper | 2014-08-25 | |
* | Hopefully a fix for #2176 (redirection not understood with some shells) | 2010-09-19 | |
* | Fixed bug 2030 (bad syntax for "test" in doc compilation) [see 11824 | 2009-01-21 | |
* | Propriétés svn pour les filtres latex | 2009-01-19 | |
* | Backporting from v8.2 to trunk: | 2009-01-18 | |
* | Nettoyage de l'archive doc et restructuration avant intégration à l'archive | 2006-02-23 |