aboutsummaryrefslogtreecommitdiff
path: root/tools/coqdep.ml
AgeCommit message (Expand)Author
2001-08-31prise en compte de Load par coqdepfilliatr
2001-07-16compat -sort et -suffixfilliatr
2001-07-16utilisation de printf (simplif)filliatr
2001-04-20support option -R pour coqdepfilliatr
2001-03-15entetesfilliatr
2000-11-08nouveau load pathfilliatr
1999-12-11outils (manquent encore les deux filtres)filliatr