aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/coqdep.ml
Commit message (Expand)AuthorAge
* Using maps and sets instead of lists in coqdep.Gravatar Pierre-Marie Pédrot2015-07-24
* Fixing bug #4265: "coqdep does not handle From ... Require" for good.Gravatar Pierre-Marie Pédrot2015-07-24
* Fixing bug #4265: coqdep does not handle From ... Require.Gravatar Pierre-Marie Pédrot2015-07-03
* Removing dead code in coqdep.Gravatar Pierre-Marie Pédrot2015-06-30
* Revert "Using same code for browsing physical directories in coqtop and coqdep."Gravatar Hugo Herbelin2015-02-12
* Revert "Capital letter in plugins." (Sorry, was not intended to be pushed)Gravatar Hugo Herbelin2015-02-12
* Capital letter in plugins.Gravatar Hugo Herbelin2015-02-12
* Using same code for browsing physical directories in coqtop and coqdep.Gravatar Hugo Herbelin2015-02-12
* Update headers.Gravatar Maxime Dénès2015-01-12
* coqdep: Warning about ml file clashes, keeping the file correspondingGravatar Hugo Herbelin2014-12-04
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 09:24:22 +0000