coq - The formal proof system

Age	Commit message (Expand)	Author
2012-12-14	Modulification of dir_path	ppedrot
2012-12-14	Modulification of identifier	ppedrot
2012-10-02	Remove some more "open" and dead code thanks to OCaml4 warnings	letouzey
2012-09-17	More cleaning on Utils and CList. Some parts of the code being	ppedrot
2012-09-14	Moving Utils.list_* to a proper CList module, which includes stdlib	ppedrot
2012-09-14	The new ocaml compiler (4.00) has a lot of very cool warnings,	regisgia
2012-07-05	Kills the useless tactic annotations "in \|- *"	letouzey
2012-07-05	ZArith + other : favor the use of modern names instead of compat notations	letouzey
2012-06-01	Cleaning Pp.ppnl use	ppedrot
2012-05-29	place all files specific to camlp4 syntax extensions in grammar/	letouzey
2012-05-29	global_reference migrated from Libnames to new Globnames, less deps in gramma...	letouzey
2012-03-02	Noise for nothing	pboutill
2011-11-21	theories/, plugins/ and test-suite/ ported to the Arguments vernacular	gareuselesinge
2011-09-02	Bug 2589: Documentation patch of Hendrik Tews	pboutill
2011-08-08	New proposition "rewrite Heq in H" for eq_rect (assuming that there is	herbelin
2011-07-29	Refl_omega: replaced generic = on constr by eq_constr	puech
2011-07-29	Refl_omega: replaced some generic = on constr by eq_constr	puech
2011-07-29	Const_omega: replaced some generic = on constr by eq_constr	puech
2011-05-06	Additionnal fix of romega after modularisation of ZArith	letouzey
2011-05-05	Modularization of BinInt, related fixes in the stdlib	letouzey
2009-12-18	Const_omega: look for S in Init only (avoid future clash with S of Numbers)	letouzey
2009-12-09	Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...	letouzey
2009-11-03	OrderedType implementation for various numerical datatypes + min/max structures	letouzey
2009-10-08	Init/Tactics.v: tactic with nicer name 'exfalso' for 'elimtype False'	letouzey
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-08-06	- Cleaning phase of the interfaces of libnames.ml and nametab.ml	herbelin
2009-03-20	Many changes in the Makefile infrastructure + a beginning of ocamlbuild	letouzey
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey