| Age | Commit message (Expand) | Author |
|---|
| 2015-01-12 | Update headers. | Maxime Dénès |
| 2014-12-04 | coqdep: Warning about ml file clashes, keeping the file corresponding | Hugo Herbelin |
| 2014-10-08 | Applying Virgile Prevosto's patch for better error report in coqdep (#3029). | Hugo Herbelin |
| 2014-06-30 | Coqdep: update include strategies | Pierre Boutillier |
| 2014-05-26 | make coqdep canonicalize paths from the command line | Gregory Malecha |
| 2014-05-12 | Fixing the undocumented -dumpgraphbox option of coqdep. | Pierre-Marie Pédrot |
| 2014-03-28 | Newline on -slash warning in coqdep. | Pierre-Marie Pédrot |
| 2014-01-19 | Using full paths in coqdep -dumpgraph. | Pierre-Marie Pédrot |
| 2014-01-19 | Fixing coqdep graph printing. The transitive reduction algorithm was bugged. | Pierre-Marie Pédrot |
| 2014-01-16 | Implementing transitive reduction in the dependency graph printing | Pierre-Marie Pédrot |
| 2014-01-13 | Declared ML Module are not uncapitalized/capitalized/uncapitalized/... | Pierre Boutillier |
| 2014-01-06 | Adding a -dumpgraph option to Coqdep that output the graph dependency of the | Pierre-Marie Pédrot |
| 2013-12-20 | Coqdep always uses / as dir_sep | Pierre Boutillier |
| 2013-08-22 | Misc changes around coqtop.ml : | letouzey |
| 2013-04-18 | Coqdep: add an -exclude-dir option (wish mentionned in #3025) | letouzey |
| 2012-09-14 | The new ocaml compiler (4.00) has a lot of very cool warnings, | regisgia |
| 2012-08-08 | Updating headers. | herbelin |
| 2012-04-12 | lib directory is cut in 2 cma. | pboutill |
| 2011-11-20 | Add support for XDG_DATA_HOME and XDG_DATA_DIRS. | pboutill |
| 2011-04-14 | Add directories in COQPATH to search path. | herbelin |
| 2011-04-14 | Reorder search path order, so the standard library is search last. | herbelin |
| 2011-04-08 | Applying Tom Prince's patch to coqdep not correctly applying the -R visibility | herbelin |
| 2011-04-03 | Fix last commit about coqdep: not everyone has a user-contrib dir | letouzey |
| 2011-04-01 | Adjust coqdep so that it behaves like coqtop with respect to the user-contrib... | gmelquio |
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2010-04-10 | Fixing various coqdep bugs (#2118, #2242, #2274) | herbelin |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-03-27 | Coqdep: some dead code and code move (first experiment with Oug) | letouzey |
| 2009-03-20 | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | letouzey |
| 2009-03-16 | missing -c option of ocamlc in coq_makefile; coqdep_boot main loop was includ... | barras |
| 2009-03-16 | coqdep_boot: a specialized and dependency-free coqdep for killing one of the ... | letouzey |
| 2009-03-14 | Coqdep: better handling of Declare ML Module (via .mllib) + many cleanups | letouzey |
| 2009-03-14 | Coqdep: remove references to obsolete .zi and Require Implementation stuff | letouzey |
| 2008-12-19 | Nettoyage des variables Coq et amélioration de coqmktop. Les | notin |
| 2008-12-16 | Take advantage of natdynlink when available: almost all contribs become loada... | letouzey |
| 2008-11-23 | - Synchronized subst_object with load_object (load_and_subst_objects) | herbelin |
| 2008-06-24 | Suppression de l'option -dump-glob et ajout d'une option -no-glob | notin |
| 2008-06-21 | Code cleanup in typeclasses, remove dead and duplicated code. | msozeau |
| 2008-04-03 | - Correction d'un bug de coq_makefile sur les variables CAMLLIBS et | notin |
| 2008-03-26 | Bug dans la gestion des dépendances vers les .ml | notin |
| 2008-03-26 | Correction du bug #1814 (trunk et v8.1) + améliorations dans coqdep et coq_m... | notin |
| 2008-03-25 | Correction d'un bug dans la gestion des 'Declare ML Module' | notin |
| 2008-03-19 | Various improvements of coqdep, resulting in a big speedup | letouzey |
| 2008-03-14 | New option -glob for coqdep, in order to avoid nasty tricks with sed in Makefile | letouzey |
| 2007-10-08 | Calcul des dependances sous Windows | notin |
| 2007-02-24 | Améliorations utiles pour les Makefile répartis sur plusieurs répertoires | herbelin |
| 2006-10-25 | coqdep -slash | barras |
| 2006-06-08 | Warning ocaml 3.09 pour variable inutile | herbelin |
| 2006-04-26 | Prise en compte du Require multiple | herbelin |
