coq/tools/upgrade-v8, branch master The formal proof system Suppression traducteur 2006-01-11T18:52:41+00:00 herbelin 2006-01-11T18:52:41+00:00 9d26b73255b86ec710d8a59c8f196f96229b17c9 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7846 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7846 85f007b7-540e-0410-9357-904b9bb8a0f7
typo 2003-09-10T14:01:27+00:00 narboux 2003-09-10T14:01:27+00:00 46ff8406c6999fa75558d9d306f13b05ab0cdc78 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4343 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4343 85f007b7-540e-0410-9357-904b9bb8a0f7
Bug et amliorations diverses 2003-08-12T12:57:33+00:00 herbelin 2003-08-12T12:57:33+00:00 aed209d2a59ee71f3f4a434e8c6a6166d48f2eee git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4263 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4263 85f007b7-540e-0410-9357-904b9bb8a0f7
Outils de traduction 2003-08-11T10:15:52+00:00 herbelin 2003-08-11T10:15:52+00:00 70015a2eba9dcbf15e00a2597400c6afba56523f git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4252 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4252 85f007b7-540e-0410-9357-904b9bb8a0f7