coq/dev/doc/Makefile, branch master The formal proof system Restructuration dossier dev et mise à jour de certaines documentations 2006-05-23T21:51:59+00:00 herbelin 2006-05-23T21:51:59+00:00 e24d8149c3aefd11b03458b6f9b3e38ca454b07a git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8856 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8856 85f007b7-540e-0410-9357-904b9bb8a0f7
Suppression de l'entrée devdoc dans le Makefile principal et modification en conséquence du Makefile dans dev/doc 2006-04-27T16:04:30+00:00 notin 2006-04-27T16:04:30+00:00 7e591e38da21c87741f8873b0d6e4a7b598f75ec git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8750 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8750 85f007b7-540e-0410-9357-904b9bb8a0f7
Deplacement du répertoire doc dans dev 2006-03-06T15:07:54+00:00 notin 2006-03-06T15:07:54+00:00 d6d5fd216c5b26cba2cb6f1d273ac3b0d9c359f8 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8140 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8140 85f007b7-540e-0410-9357-904b9bb8a0f7