coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Backporting 12080 (fixing bug #2091 on bad rollback in the "where"	herbelin	2009-04-24
*	- New cleaning phase for the entry points of pretyping.ml	herbelin	2009-04-24
*	Better Requires in Classes. Fix bug #2093: the code does not require	msozeau	2009-04-16
*	nouvelle version de la tactique groebner proposee par Loic:	barras	2009-04-16
*	Experimental support for automatic destruction of recursive calls and	msozeau	2009-04-08
*	Fix bug #2083 for good: verify that the measure and relation are	msozeau	2009-04-08
*	Some dead code removal + cleanups	letouzey	2009-04-08
*	Fixes in Program:	msozeau	2009-04-07
*	Move setoid_rewrite to its own module and do some clean up in	msozeau	2009-04-07
*	Ocamlbuild: improvements suggested by N. Pouillard	letouzey	2009-04-03
*	Add a more general quote construction	glondu	2009-03-30
*	Fix some typos and spaces	glondu	2009-03-30
*	Csdpcert: adaptation after last commit	letouzey	2009-03-29
*	Micromega: improvement of the code obtained by extraction	letouzey	2009-03-29
*	Rewrite of Program Fixpoint to overcome the previous limitations:	msozeau	2009-03-28
*	Fix static compilation of numeral syntax (typo in _mod files, sorry ...)	letouzey	2009-03-28
*	ZMicromega: useless dependency toward ZArith.Int	letouzey	2009-03-28
*	Parsing files for numerals (+ ascii/string) moved into plugins	letouzey	2009-03-27
*	GroebnerZ: no more admitted lemmas	letouzey	2009-03-27
*	Fixes in Program well-founded definitions:	msozeau	2009-03-26
*	ocamlbuild: coqide, coqchk, a bit of .vo	letouzey	2009-03-26
*	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