coq/contrib/extraction/test/addReals, 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
Fin de mise en place de l'option Optimize. Reorganisation du pretty-print. ETC etc etc 2001-10-26T15:54:12+00:00 letouzey 2001-10-26T15:54:12+00:00 32af9a99872b522add12ef4b7e9a42f64f556c4c git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2141 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2141 85f007b7-540e-0410-9357-904b9bb8a0f7
chambardement important des fichiers auxiliaires. Nouvelle syntaxe pour les options 2001-10-22T16:19:42+00:00 letouzey 2001-10-22T16:19:42+00:00 a5b3d9a4486c176d76926d824f2386988d3edd7b git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2133 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2133 85f007b7-540e-0410-9357-904b9bb8a0f7
changements mineurs du test 2001-09-20T14:14:35+00:00 letouzey 2001-09-20T14:14:35+00:00 d9acd0a5dc55d422e18e8caf318dc325c16c2535 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2020 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2020 85f007b7-540e-0410-9357-904b9bb8a0f7