aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/coqdep.ml
Commit message (Expand)AuthorAge
* Coqdep: add an -exclude-dir option (wish mentionned in #3025)Gravatar letouzey2013-04-18
* The new ocaml compiler (4.00) has a lot of very cool warnings,Gravatar regisgia2012-09-14
* Updating headers.Gravatar herbelin2012-08-08
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12
* Add support for XDG_DATA_HOME and XDG_DATA_DIRS.Gravatar pboutill2011-11-20
* Add directories in COQPATH to search path.Gravatar herbelin2011-04-14
* Reorder search path order, so the standard library is search last.Gravatar herbelin2011-04-14
* Applying Tom Prince's patch to coqdep not correctly applying the -R visibilityGravatar herbelin2011-04-08
* Fix last commit about coqdep: not everyone has a user-contrib dirGravatar letouzey2011-04-03
* Adjust coqdep so that it behaves like coqtop with respect to the user-contrib...Gravatar gmelquio2011-04-01
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Fixing various coqdep bugs (#2118, #2242, #2274)Gravatar herbelin2010-04-10
* 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