coq/contrib/extraction/test/e, branch master The formal proof system Deletion of contrib/extraction/test 2007-07-12T21:48:26+00:00 letouzey 2007-07-12T21:48:26+00:00 c605392e81dccf2f99c43db538d6ceb4b9759e90 Not maintained, probably broken, of no interest except (maybe) for myself, bad interaction with tools that work recursively (coqdep). ===> I move it to a personal repository git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9986 85f007b7-540e-0410-9357-904b9bb8a0f7 
Not maintained, probably broken, of no interest except (maybe) for
myself, bad interaction with tools that work recursively (coqdep).
===> I move it to a personal repository



git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9986 85f007b7-540e-0410-9357-904b9bb8a0f7
Un fichier a utiliser via Drop pour le debug de l'extraction. 2002-11-04T01:11:29+00:00 letouzey 2002-11-04T01:11:29+00:00 401ff65c73eb90e4e4b7a1d74d29c8d815ebfa6d git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3206 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3206 85f007b7-540e-0410-9357-904b9bb8a0f7