aboutsummaryrefslogtreecommitdiff
path: root/tools/coqdep_common.mli
AgeCommit message (Expand)Author
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-02-16Using same code for browsing physical directories in coqtop and coqdep.Hugo Herbelin
2015-02-12Revert "Using same code for browsing physical directories in coqtop and coqdep."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-06-30Coqdep: update include strategiesPierre 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-04-18Coqdep: add an -exclude-dir option (wish mentionned in #3025)letouzey
2012-08-08Updating headers.herbelin
2011-09-18avoid dependency nightmare by creating coqdep_{lexer,common}.mliletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 16:29:04 +0000