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