coq - The formal proof system

Age	Commit message (Expand)	Author
2015-02-12	Revert "Using same code for browsing physical directories in coqtop and coqdep."	Hugo Herbelin
2015-02-12	Using same code for browsing physical directories in coqtop and coqdep.	Hugo Herbelin
2015-01-12	Update headers.	Maxime Dénès
2015-01-12	Fixing typo in previous commit.	Hugo Herbelin
2015-01-11	Fixing wrong duplication message when finding both a .ml and a .ml4 in coqdep.	Hugo Herbelin
2015-01-06	rename: vi -> vio	Enrico Tassi
2014-12-04	coqdep: granting #2506 (./dir is the same as dir)	Hugo Herbelin
2014-12-04	coqdep: Warning about ml file clashes, keeping the file corresponding	Hugo Herbelin
2014-08-25	Support for Timeout n and From ..	Gregory Malecha
2014-06-30	Coqdep: update include strategies	Pierre Boutillier
2014-01-13	Declared ML Module are not uncapitalized/capitalized/uncapitalized/...	Pierre Boutillier
2014-01-04	.vi files: .vo files without proofs	Enrico Tassi
2013-12-20	Warning removal	Pierre Boutillier
2013-12-20	Coqdep always uses / as dir_sep	Pierre Boutillier
2013-09-19	Get rid of the uses of deprecated OCaml elements (still remaining compatible ...	xclerc
2013-04-18	Coqdep: add an -exclude-dir option (wish mentionned in #3025)	letouzey
2013-03-13	Restrict (try...with...) to avoid catching critical exn (part 15)	letouzey
2013-02-18	use List.rev_map whenever possible	letouzey
2012-10-29	coqdep: honor dependencies of "Load"ed files	gareuselesinge
2012-08-08	Updating headers.	herbelin
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