Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fixed bug 2030 (bad syntax for "test" in doc compilation) [see 11824 | herbelin | 2009-01-21 |
| | | | | | | | | from v8.2 branch]. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11825 85f007b7-540e-0410-9357-904b9bb8a0f7 | ||
* | Propriétés svn pour les filtres latex | notin | 2009-01-19 |
| | | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11807 85f007b7-540e-0410-9357-904b9bb8a0f7 | ||
* | Backporting from v8.2 to trunk: | herbelin | 2009-01-18 |
- Filtering of doc compilation messages (11793,11795,11796). - Fixing bug #1925 and cleaning around bug #1894 (11796, 11801). - Adding some tests. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11802 85f007b7-540e-0410-9357-904b9bb8a0f7 |