aboutsummaryrefslogtreecommitdiff
path: root/contrib/extraction/README
AgeCommit message (Collapse)Author
2003-01-23maj V7.4letouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3599 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-04-15maj doc extraction dans repertoire contrib/extractionletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2643 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-03-15un peu de mise a jour de la doc extractionletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2535 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24README avec ref (2)letouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1695 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24TODO in v.o., test/Makefile moins pire, README avec refletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1694 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24Correction typosmohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1690 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24ajout d'un fichier READMEletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1689 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 02:50:37 +0000