coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merging Context and Sign.	ppedrot	2013-04-29
*	Modulification of name	ppedrot	2012-12-18
*	Updating headers.	herbelin	2012-08-08
*	remove many excessive open Util & Errors in mli's	letouzey	2012-05-29
*	Fixing tauto "special" behavior on singleton types w/ 2 parameters (bug #2680).	herbelin	2012-04-15
*	Noise for nothing	pboutill	2012-03-02
*	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
*	Various minor improvements of comments in mli for ocamldoc	letouzey	2010-04-29
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Move from ocamlweb to ocamdoc to generate mli documentation	pboutill	2010-04-29
*	Here comes the commit, announced long ago, of the new tactic engine.	aspiwack	2010-04-22
*	Restructuration of command.ml + generic infrastructure for inductive schemes	herbelin	2009-11-08
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Fixed subst failing when a truly heterogeneous JMeq hyp is in the	herbelin	2009-08-04
*	Added "etransitivity".	herbelin	2009-08-03
*	- Allowing multiple calls to tactic fix with automatic generation of	herbelin	2009-05-17
*	- Fixed bugs and compatibilities issues in	herbelin	2008-12-30
*	- Another bug in get_sort_family_of (sort-polymorphism of constants and	herbelin	2008-12-28
*	- Optimized "auto decomp" which had a (presumably) exponential in	herbelin	2008-12-26
*	- Fixed minor bug #1994 in the tactic chapter of the manual [doc]	herbelin	2008-11-22
*	- Déplacement des types paramétriques prod, sum, option, identity,	herbelin	2006-05-28
*	- Réintroduction d'un parseur de pattern (q_constr.ml4) à usage de	herbelin	2006-03-22
*	appel de Simplify depuis Coq	coq	2005-03-18
*	Nouvelle en-tête	herbelin	2004-07-16
*	Ground Update.	corbinea	2003-06-20
*	Ground and CCsolve updates	corbinea	2003-05-25
*	Restructuration des procédures de filtrage	herbelin	2003-05-19
*	Added the Ground tactic.	corbinea	2003-04-25
*	Correction of a bug in Intuition (no more decomposition of dependent pairs).	corbinea	2002-05-22
*	eclaircissement du code	courant	2001-09-13
*	entetes	filliatr	2001-03-15
*	Centralisation des références à des globaux de Coq dans Coqlib (ex-Stdlib)...	herbelin	2001-02-14
*	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr	2000-12-12
*	diverses modifs pour ocamlweb	filliatr	2000-05-03
*	Ajout get_reference	herbelin	2000-05-03
*	Suite intégration de constr_pattern	herbelin	2000-04-30
*	Decoupage de tactics/pattern en proofs/pattern et tactics/hipattern	herbelin	2000-04-28