aboutsummaryrefslogtreecommitdiff
path: root/tools/coqdep.ml
AgeCommit message (Expand)Author
2015-11-07Merge remote-tracking branch 'origin/v8.5' into upstream-trunkHugo Herbelin
2015-11-06Fixed #4407.Pierre Courtieu
2015-07-27Merge branch 'v8.5'Pierre-Marie Pédrot
2015-07-24Using maps and sets instead of lists in coqdep.Pierre-Marie Pédrot
2015-07-24Fixing bug #4265: "coqdep does not handle From ... Require" for good.Pierre-Marie Pédrot
2015-07-06Merge branch 'v8.5' into trunkMaxime Dénès
2015-07-03Fixing bug #4265: coqdep does not handle From ... Require.Pierre-Marie Pédrot
2015-07-02Merge branch 'v8.5' into trunkMaxime Dénès
2015-06-30Removing dead code in coqdep.Pierre-Marie Pédrot
2015-02-16Using same code for browsing physical directories in coqtop and coqdep.Hugo Herbelin
2015-02-16Restricting the need for coqdep_boot to mllib.d files (since ocamlHugo Herbelin
2015-02-12Revert "Using same code for browsing physical directories in coqtop and coqdep."Hugo Herbelin
2015-02-12Revert "Capital letter in plugins." (Sorry, was not intended to be pushed)Hugo Herbelin
2015-02-12Capital letter in plugins.Hugo Herbelin
2015-02-12Using same code for browsing physical directories in coqtop and coqdep.Hugo Herbelin
2015-01-12Update headers.Maxime Dénès
2014-12-04coqdep: Warning about ml file clashes, keeping the file correspondingHugo Herbelin
2014-10-08Applying Virgile Prevosto's patch for better error report in coqdep (#3029).Hugo Herbelin
2014-06-30Coqdep: update include strategiesPierre Boutillier
2014-05-26make coqdep canonicalize paths from the command lineGregory Malecha
2014-05-12Fixing the undocumented -dumpgraphbox option of coqdep.Pierre-Marie Pédrot
2014-03-28Newline on -slash warning in coqdep.Pierre-Marie Pédrot
2014-01-19Using full paths in coqdep -dumpgraph.Pierre-Marie Pédrot
2014-01-19Fixing coqdep graph printing. The transitive reduction algorithm was bugged.Pierre-Marie Pédrot
2014-01-16Implementing transitive reduction in the dependency graph printingPierre-Marie Pédrot
2014-01-13Declared ML Module are not uncapitalized/capitalized/uncapitalized/...Pierre Boutillier
2014-01-06Adding a -dumpgraph option to Coqdep that output the graph dependency of thePierre-Marie Pédrot
2013-12-20Coqdep always uses / as dir_sepPierre Boutillier
2013-08-22Misc changes around coqtop.ml :letouzey
2013-04-18Coqdep: add an -exclude-dir option (wish mentionned in #3025)letouzey
2012-09-14The new ocaml compiler (4.00) has a lot of very cool warnings,regisgia
2012-08-08Updating headers.herbelin
2012-04-12lib directory is cut in 2 cma.pboutill
2011-11-20Add support for XDG_DATA_HOME and XDG_DATA_DIRS.pboutill
2011-04-14Add directories in COQPATH to search path.herbelin
2011-04-14Reorder search path order, so the standard library is search last.herbelin
2011-04-08Applying Tom Prince's patch to coqdep not correctly applying the -R visibilityherbelin
2011-04-03Fix last commit about coqdep: not everyone has a user-contrib dirletouzey
2011-04-01Adjust coqdep so that it behaves like coqtop with respect to the user-contrib...gmelquio
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-04-10Fixing various coqdep bugs (#2118, #2242, #2274)herbelin
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-03-27Coqdep: some dead code and code move (first experiment with Oug)letouzey
2009-03-20Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...letouzey
2009-03-16missing -c option of ocamlc in coq_makefile; coqdep_boot main loop was includ...barras
2009-03-16coqdep_boot: a specialized and dependency-free coqdep for killing one of the ...letouzey
2009-03-14Coqdep: better handling of Declare ML Module (via .mllib) + many cleanupsletouzey
2009-03-14Coqdep: remove references to obsolete .zi and Require Implementation stuffletouzey
2008-12-19Nettoyage des variables Coq et amélioration de coqmktop. Lesnotin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:02:04 +0000