coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	New script dev/tools/change-header to automatically update Coq files headers.	herbelin	2010-06-22
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Move from ocamlweb to ocamdoc to generate mli documentation	pboutill	2010-04-29
*	Promote evar_defs to evar_map (in Evd)	glondu	2009-11-11
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Reactivation of pattern unification of evars in apply unification, in	herbelin	2009-07-08
*	Add new variants of [rewrite] and [autorewrite] which differ in the	msozeau	2009-06-30
*	Minor unification changes:	msozeau	2009-05-18
*	- Backtrack sur option with_types suite à confusion sur l'utilisation	herbelin	2008-04-27
*	- Backtrack sur extension de syntaxe pour pose qui rentre en conflit avec	herbelin	2008-04-26
*	Prise en compte des coercions dans les clauses "with" même si le type	herbelin	2008-04-23
*	- Parameterize unification by two sets of transparent_state, one for open	msozeau	2008-04-21
*	Bug squashing day !	msozeau	2008-04-17
*	Ajout "simple apply" et "simple eapply" pour apply sans unfold	herbelin	2008-04-01
*	Using the "relation" constant made some unifications fail in the new	msozeau	2008-03-16
*	Essai de prise en compte de delta dans unify_0 (même sur termes non clos).	herbelin	2008-02-13
*	Mise en place d'une toute petite amélioration de l'unification de	herbelin	2008-02-07
*	Ajout de eelim, ecase, edestruct et einduction (expérimental).	herbelin	2007-10-03
*	Contrôle de la compatibilité de apply via une information dans les	herbelin	2007-05-28
*	?(mod_delta=true) parameter added to each unification function.	sacerdot	2004-09-27
*	restructuration des printers: proofs passe avant parsing	barras	2004-09-17
*	hiding the meta_map in evar_defs	barras	2004-09-15
*	inclusion de meta_map dans evar_defs	barras	2004-09-12
*	unification encore...	barras	2004-09-08
*	deuxieme vague de modifs: evar_defs fonctionnel	barras	2004-09-07
*	deplacement de clenv vers pretyping	barras	2004-09-03
*	premiere reorganisation de l\'unification	barras	2004-09-03