coq/contrib/extraction/CHANGES, branch master The formal proof system Directory 'contrib' renamed into 'plugins', to end confusion with archive of user contribs 2009-03-20T01:22:58+00:00 letouzey 2009-03-20T01:22:58+00:00 7d220f8b61649646692983872626d6a8042446a9 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11996 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11996 85f007b7-540e-0410-9357-904b9bb8a0f7
extraction: update of README+CHANGES, rm of BUGS+TODO 2009-02-27T17:04:45+00:00 letouzey 2009-02-27T17:04:45+00:00 33c83fcea6a5f7d54d9eb167a0548c4172d26d13 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11949 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11949 85f007b7-540e-0410-9357-904b9bb8a0f7
first-order --> firstorder (kills a warning about not being a valid id) 2008-04-16T20:40:19+00:00 letouzey 2008-04-16T20:40:19+00:00 99ad573113f5afc8bb5409649843567dee40ba40 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10805 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10805 85f007b7-540e-0410-9357-904b9bb8a0f7
les modifs depuis la 7.4 2003-11-12T02:59:44+00:00 letouzey 2003-11-12T02:59:44+00:00 b7f890ef306ab969522b60d54b96b8e11f36e1da git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4858 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4858 85f007b7-540e-0410-9357-904b9bb8a0f7
maj status de l'extraction des modules 2003-02-03T01:37:03+00:00 letouzey 2003-02-03T01:37:03+00:00 979535cdc24bcd31360c75cf73e57274e4aa0a67 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3649 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3649 85f007b7-540e-0410-9357-904b9bb8a0f7
maj V7.4 2003-01-23T00:28:42+00:00 letouzey 2003-01-23T00:28:42+00:00 c1c56a73bd8dd4896dba2212dca4b33387893567 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3599 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3599 85f007b7-540e-0410-9357-904b9bb8a0f7
maj doc extraction dans repertoire contrib/extraction 2002-04-15T09:34:49+00:00 letouzey 2002-04-15T09:34:49+00:00 cdc4ce82896489b55130d466f0c277291f5df8b1 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2643 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2643 85f007b7-540e-0410-9357-904b9bb8a0f7
epsilon 2002-03-15T15:47:58+00:00 letouzey 2002-03-15T15:47:58+00:00 6e616fea2b9e153b04232537b7ee2539409521ac git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2537 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2537 85f007b7-540e-0410-9357-904b9bb8a0f7
un peu de mise a jour de la doc extraction 2002-03-15T13:47:50+00:00 letouzey 2002-03-15T13:47:50+00:00 4747fc9599acd710ae9331f0193ac799b040694a git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2535 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2535 85f007b7-540e-0410-9357-904b9bb8a0f7
maj CHANGES extraction + bug extraction & _ 2001-12-21T12:27:29+00:00 letouzey 2001-12-21T12:27:29+00:00 8e8e5aaa7320c56dc7128f92a72669c0be684e78 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2359 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2359 85f007b7-540e-0410-9357-904b9bb8a0f7