aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/coqdep.ml
Commit message (Expand)AuthorAge
* Améliorations utiles pour les Makefile répartis sur plusieurs répertoiresGravatar herbelin2007-02-24
* coqdep -slashGravatar barras2006-10-25
* Warning ocaml 3.09 pour variable inutileGravatar herbelin2006-06-08
* Prise en compte du Require multipleGravatar herbelin2006-04-26
* Modification des propriétés (svn:executable)Gravatar notin2006-03-17
* coqdep connait maintenant user-contribGravatar filliatr2005-06-21
* Nouvelle en-têteGravatar herbelin2004-07-16
* suppression du ./ devant (et .\ sous Windows)Gravatar filliatr2004-03-17
* identification ./f et f dans coqdep -sortGravatar filliatr2004-03-15
* - fixed the Assert_failure error in kernel/modopsGravatar barras2004-02-18
* Message pour les erreursGravatar herbelin2003-09-12
* prise en compte des sous-repertoires Coq de maniere dynamiqueGravatar filliatr2003-02-14
* mdule --> moduleGravatar mohring2002-12-04
* commit du calcul des dependances un peu plus robusteGravatar barras2002-10-15
* gestion coherente de l'option -R et des Require A.B.C.Gravatar barras2002-10-10
* prise en compte de Load par coqdepGravatar filliatr2001-08-31
* compat -sort et -suffixGravatar filliatr2001-07-16
* utilisation de printf (simplif)Gravatar filliatr2001-07-16
* support option -R pour coqdepGravatar filliatr2001-04-20
* entetesGravatar filliatr2001-03-15
* nouveau load pathGravatar filliatr2000-11-08
* outils (manquent encore les deux filtres)Gravatar filliatr1999-12-11