coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Integrated obligations/eterm and program well-founded fixpoint building to to...	msozeau	2012-03-14
*	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
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Prise en compte des coercions dans les clauses "with" même si le type	herbelin	2008-04-23
*	Moving centralised discharge into dispatched discharge_function; required to ...	herbelin	2005-02-18
*	Nouvelle en-tête	herbelin	2004-07-16
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	Intégration des modifs de la branche mowgli :	herbelin	2002-11-05
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin	2002-05-29
*	GROS COMMIT:	barras	2001-11-05
*	Débogage discharge des coercions; nettoyage	herbelin	2001-07-05
*	entetes	filliatr	2001-03-15
*	make doc	herbelin	2001-01-27
*	Prise en compte des noms longs dans les Hints et les Coercions, et réorganis...	herbelin	2001-01-24
*	Un nom long pour les variables de section qui font classe ou coercion; réorg...	herbelin	2000-12-25
*	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr	2000-12-12
*	Informations inutiles	herbelin	2000-11-23
*	Mieux à sa place dans toplevel	herbelin	2000-11-20
*	Ajout de Record	herbelin	2000-01-11
*	Déplacement non-affichage des coercions dans termast	herbelin	2000-01-07
*	documentation interfaces	filliatr	1999-12-13
*	Version initiale	herbelin	1999-12-02