coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Cleaning Pp.ppnl use	ppedrot	2012-06-01
*	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-05-29
*	Noise for nothing	pboutill	2012-03-02
*	theories/, plugins/ and test-suite/ ported to the Arguments vernacular	gareuselesinge	2011-11-21
*	Bug 2589: Documentation patch of Hendrik Tews	pboutill	2011-09-02
*	New proposition "rewrite Heq in H" for eq_rect (assuming that there is	herbelin	2011-08-08
*	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-07-29
*	Additionnal fix of romega after modularisation of ZArith	letouzey	2011-05-06
*	Modularization of BinInt, related fixes in the stdlib	letouzey	2011-05-05
*	Const_omega: look for S in Init only (avoid future clash with S of Numbers)	letouzey	2009-12-18
*	Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...	letouzey	2009-12-09
*	OrderedType implementation for various numerical datatypes + min/max structures	letouzey	2009-11-03
*	Init/Tactics.v: tactic with nicer name 'exfalso' for 'elimtype False'	letouzey	2009-10-08
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	- Cleaning phase of the interfaces of libnames.ml and nametab.ml	herbelin	2009-08-06
*	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	2009-03-20