coq/doc/stdlib/index-trailer.html, branch master The formal proof system Port to trunk the old commit r14895 of v8.4 (styles for the stdlib documentation) 2014-12-09T11:14:16+00:00 notin 2012-01-13T17:21:21+00:00 f8cb1942284979bc7c325f2137fad1293380d855 This commit r14895 comes apparently itself from commit r12010 in branch v8.2 
 This commit r14895 comes apparently itself from commit r12010 in branch v8.2
Mise à jour des Makefile, ajout licences, corrections mineures suite à 2006-02-23T14:21:14+00:00 herbelin 2006-02-23T14:21:14+00:00 015781acfe4a2a75eeced513528b389cae9fb0a3 restructuration du répertoire de documentation git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8607 85f007b7-540e-0410-9357-904b9bb8a0f7 
restructuration du répertoire de documentation


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8607 85f007b7-540e-0410-9357-904b9bb8a0f7