coq/tools/translate-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
Nouvelle version qui compile dans un sous-repertoire avant d'ecraser le repertoire courant 2003-12-11T14:12:13+00:00 herbelin 2003-12-11T14:12:13+00:00 6793212653e518d61ea4f670e38e8bebab84fe94 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5087 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5087 85f007b7-540e-0410-9357-904b9bb8a0f7
MAJ OTHERFLAGS 2003-11-10T12:04:57+00:00 herbelin 2003-11-10T12:04:57+00:00 d719ba896e985ce1683018157a4dd88e0927a72b git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4854 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4854 85f007b7-540e-0410-9357-904b9bb8a0f7
Passage options via COQFLAGS plutot que OPT 2003-09-24T10:28:07+00:00 herbelin 2003-09-24T10:28:07+00:00 22d0ce23a0865c1a68636d3feb1f490b13a49fb9 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4472 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4472 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