aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/coqdep_common.ml
Commit message (Expand)AuthorAge
* Adjust coqdep so that it behaves like coqtop with respect to the user-contrib...Gravatar gmelquio2011-04-01
* Added test for bugs 2242, 2337, 2339 + remove the use of name "ambiguous" inGravatar herbelin2010-09-18
* Coqdep_boot : misc improvementsGravatar letouzey2010-09-17
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Fixing various coqdep bugs (#2118, #2242, #2274)Gravatar herbelin2010-04-10
* Coqdep_boot: when emultating ocamldep, avoid outputting empty answerGravatar letouzey2010-03-04
* Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)Gravatar letouzey2010-03-04
* Correction du bug #2118 (Coqdep does not escape #)Gravatar notin2009-11-19
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Coqdep: some dead code and code move (first experiment with Oug)Gravatar letouzey2009-03-27
* Many changes in the Makefile infrastructure + a beginning of ocamlbuildGravatar letouzey2009-03-20
* missing -c option of ocamlc in coq_makefile; coqdep_boot main loop was includ...Gravatar barras2009-03-16