aboutsummaryrefslogtreecommitdiff
path: root/contrib/extraction/README
AgeCommit message (Collapse)Author
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-10-08 03:08:56 +0000