aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/coqdep.ml
Commit message (Expand)AuthorAge
* Applying Virgile Prevosto's patch for better error report in coqdep (#3029).Gravatar Hugo Herbelin2014-10-08
* Coqdep: update include strategiesGravatar Pierre Boutillier2014-06-30
* make coqdep canonicalize paths from the command lineGravatar Gregory Malecha2014-05-26
* Fixing the undocumented -dumpgraphbox option of coqdep.Gravatar Pierre-Marie Pédrot2014-05-12
* Newline on -slash warning in coqdep.Gravatar Pierre-Marie Pédrot2014-03-28
* Using full paths in coqdep -dumpgraph.Gravatar Pierre-Marie Pédrot2014-01-19
* Fixing coqdep graph printing. The transitive reduction algorithm was bugged.Gravatar Pierre-Marie Pédrot2014-01-19
* Implementing transitive reduction in the dependency graph printingGravatar Pierre-Marie Pédrot2014-01-16
* Declared ML Module are not uncapitalized/capitalized/uncapitalized/...Gravatar Pierre Boutillier2014-01-13
* Adding a -dumpgraph option to Coqdep that output the graph dependency of theGravatar Pierre-Marie Pédrot2014-01-06
* Coqdep always uses / as dir_sepGravatar Pierre Boutillier2013-12-20
* Misc changes around coqtop.ml :Gravatar letouzey2013-08-22
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-26 20:30:37 +0000