coq - The formal proof system

Age	Commit message (Expand)	Author
2011-12-17	Coqdep adds %.v.beautified on the left of the ':' when it generates %.v depen...	pboutill
2011-10-29	Added Add LoadPath in coqdep lexer (but not in coqdep itself by lack of time).	herbelin
2011-10-26	Coqdep handles .mlpack	pboutill
2011-10-25	coqdep defines a makefile variable name_MLLIB_DEPENDENCIES to store dependenc...	pboutill
2011-04-01	Adjust coqdep so that it behaves like coqtop with respect to the user-contrib...	gmelquio
2010-09-18	Added test for bugs 2242, 2337, 2339 + remove the use of name "ambiguous" in	herbelin
2010-09-17	Coqdep_boot : misc improvements	letouzey
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2010-04-10	Fixing various coqdep bugs (#2118, #2242, #2274)	herbelin
2010-03-04	Coqdep_boot: when emultating ocamldep, avoid outputting empty answer	letouzey
2010-03-04	Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)	letouzey
2009-11-19	Correction du bug #2118 (Coqdep does not escape #)	notin
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-03-27	Coqdep: some dead code and code move (first experiment with Oug)	letouzey
2009-03-20	Many changes in the Makefile infrastructure + a beginning of ocamlbuild	letouzey
2009-03-16	missing -c option of ocamlc in coq_makefile; coqdep_boot main loop was includ...	barras