aboutsummaryrefslogtreecommitdiff
path: root/tools/coqdep.ml
AgeCommit message (Expand)Author
2007-02-24Améliorations utiles pour les Makefile répartis sur plusieurs répertoiresherbelin
2006-10-25coqdep -slashbarras
2006-06-08Warning ocaml 3.09 pour variable inutileherbelin
2006-04-26Prise en compte du Require multipleherbelin
2006-03-17Modification des propriétés (svn:executable)notin
2005-06-21coqdep connait maintenant user-contribfilliatr
2004-07-16Nouvelle en-têteherbelin
2004-03-17suppression du ./ devant (et .\ sous Windows)filliatr
2004-03-15identification ./f et f dans coqdep -sortfilliatr
2004-02-18- fixed the Assert_failure error in kernel/modopsbarras
2003-09-12Message pour les erreursherbelin
2003-02-14prise en compte des sous-repertoires Coq de maniere dynamiquefilliatr
2002-12-04mdule --> modulemohring
2002-10-15commit du calcul des dependances un peu plus robustebarras
2002-10-10gestion coherente de l'option -R et des Require A.B.C.barras
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-17 21:38:15 +0000