aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/coq_makefile.ml
Commit message (Expand)AuthorAge
* modifs mineuresGravatar filliatr2001-02-08
* backtrack sur le lexeur de la V6Gravatar filliatr2001-01-30
* numarg -> pure_numarg a poursuivreGravatar mohring2000-12-11
* do_Makefile -> coq_makefile pour le bootstrap!Gravatar filliatr2000-11-09
* outils (manquent encore les deux filtres)Gravatar filliatr1999-12-11