aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/coqdep.ml
Commit message (Expand)AuthorAge
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Coqdep: some dead code and code move (first experiment with Oug)Gravatar letouzey2009-03-27
* Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...Gravatar letouzey2009-03-20
* missing -c option of ocamlc in coq_makefile; coqdep_boot main loop was includ...Gravatar barras2009-03-16
* coqdep_boot: a specialized and dependency-free coqdep for killing one of the ...Gravatar letouzey2009-03-16
* Coqdep: better handling of Declare ML Module (via .mllib) + many cleanupsGravatar letouzey2009-03-14
* Coqdep: remove references to obsolete .zi and Require Implementation stuffGravatar letouzey2009-03-14
* Nettoyage des variables Coq et amélioration de coqmktop. LesGravatar notin2008-12-19
* Take advantage of natdynlink when available: almost all contribs become loada...Gravatar letouzey2008-12-16
* - Synchronized subst_object with load_object (load_and_subst_objects)Gravatar herbelin2008-11-23
* Suppression de l'option -dump-glob et ajout d'une option -no-globGravatar notin2008-06-24
* Code cleanup in typeclasses, remove dead and duplicated code.Gravatar msozeau2008-06-21
* - Correction d'un bug de coq_makefile sur les variables CAMLLIBS etGravatar notin2008-04-03
* Bug dans la gestion des dépendances vers les .mlGravatar notin2008-03-26
* Correction du bug #1814 (trunk et v8.1) + améliorations dans coqdep et coq_m...Gravatar notin2008-03-26
* Correction d'un bug dans la gestion des 'Declare ML Module'Gravatar notin2008-03-25
* Various improvements of coqdep, resulting in a big speedupGravatar letouzey2008-03-19
* New option -glob for coqdep, in order to avoid nasty tricks with sed in MakefileGravatar letouzey2008-03-14
* Calcul des dependances sous WindowsGravatar notin2007-10-08
* 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