aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/coqdep_boot.ml
Commit message (Expand)AuthorAge
* Makefile: no bytecode compilation in make world, see make byte insteadGravatar Pierre Letouzey2017-05-30
* Revert "Merge remote-tracking branch 'github/pr/229' into trunk"Gravatar Maxime Dénès2016-07-05
* Makefile: no bytecode compilation in make world, see make byte insteadGravatar Pierre Letouzey2016-06-29
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Fixed #4407.Gravatar Pierre Courtieu2015-11-06
* Remove usage of Printexc.catch in the tools, as it is deprecated since 2001.Gravatar Guillaume Melquiond2015-07-30
* Using maps and sets instead of lists in coqdep.Gravatar Pierre-Marie Pédrot2015-07-24
* Update headers.Gravatar Maxime Dénès2015-01-12
* Coqdep: update include strategiesGravatar Pierre Boutillier2014-06-30
* Fixing coqdep_boot warning relative to unknown ML files that were in tactics.Gravatar Pierre-Marie Pédrot2014-05-17
* Coqdep always uses / as dir_sepGravatar Pierre Boutillier2013-12-20
* Coqdep: add an -exclude-dir option (wish mentionned in #3025)Gravatar letouzey2013-04-18
* Updating headers.Gravatar herbelin2012-08-08
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)Gravatar letouzey2010-03-04
* Coqdep_boot: one line with bad indentationGravatar letouzey2009-03-26
* Many changes in the Makefile infrastructure + a beginning of ocamlbuildGravatar letouzey2009-03-20
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-18 13:48:57 +0000