coq/doc/tools/latex_filter, branch master The formal proof system Fixed bug 2030 (bad syntax for "test" in doc compilation) [see 11824 2009-01-21T19:35:31+00:00 herbelin 2009-01-21T19:35:31+00:00 25e3c83e7ebcb2832c44bc894b19fee2741d069a from v8.2 branch]. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11825 85f007b7-540e-0410-9357-904b9bb8a0f7 
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 2009-01-19T15:39:12+00:00 notin 2009-01-19T15:39:12+00:00 eec53d335356c1a41190828cf62d433cb9cbd313 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11807 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11807 85f007b7-540e-0410-9357-904b9bb8a0f7
Backporting from v8.2 to trunk: 2009-01-18T20:56:21+00:00 herbelin 2009-01-18T20:56:21+00:00 85237f65161cb9cd10119197c65c84f65f0262ee - 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 
- 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