coq/contrib/extraction/test/make_mli, 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
L'extraction c'est magic cvs -n up 2002-10-31T17:59:02+00:00 letouzey 2002-10-31T17:59:02+00:00 5d8ed22ff06926b0c9c2cf1d8c4ab3c45ef07f0b git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3199 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3199 85f007b7-540e-0410-9357-904b9bb8a0f7