coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	modif existentielle (exists \| --> exists ,) + bug d'affichage des pt fixes	barras	2003-12-15
*	MAJ 'abstract'	herbelin	2003-12-04
*	Reparation bug compil	mohring	2003-11-27
*	modif lexer: ident peut commencer par _	barras	2003-11-25
*	MAJs	herbelin	2003-11-23
*	moins unaire au niveau 35, tactiques simple_induction et simple_destruct, Loc...	barras	2003-11-13
*	factorisation et generalisation des clauses	barras	2003-11-13
*	petits changements de syntaxe	barras	2003-11-12
*	'as' avant 'using' dans 'destruct'	herbelin	2003-11-09
*	Oubli	herbelin	2003-11-05
*	MAJ	herbelin	2003-11-05
*	MAJ	herbelin	2003-11-05
*	* empty log message *	barras	2003-11-04
*	nouvelles priorites + Hints	barras	2003-10-22
*	* empty log message *	barras	2003-10-21
*	* empty log message *	barras	2003-10-20
*	nouvelle syntaxe de ltac	barras	2003-10-16
*	lettac -> set	barras	2003-10-16
*	* empty log message *	barras	2003-10-16
*	mise a jour nouvelle syntaxe	barras	2003-10-11
*	* empty log message *	barras	2003-10-03
*	About, Infix	herbelin	2003-09-26
*	MAJ	herbelin	2003-09-22
*	Ajout nouvelles commandes	herbelin	2003-09-12
*	MAJ	herbelin	2003-09-06
*	Relachement conflit 'with' dans le cas des Module with Definition	herbelin	2003-09-02
*	Syntaxe des constructeurs et des hypotheses	herbelin	2003-08-31
*	MAJ	herbelin	2003-08-11
*	Added new syntax definition	barras	2003-06-06
*	release 7.4; changement magic number	filliatr	2003-02-03
*	exemple complet de parser	barras	2002-12-17
*	MAJ travail moulinette	herbelin	2002-12-03
*	pseudo-parser ocamlyacc de la nouvelle syntaxe	barras	2002-11-26
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	Moulinette	herbelin	2002-11-03
*	Divers	herbelin	2002-11-03
*	Bugs	herbelin	2002-10-29
*	Ajout d'infixes	herbelin	2002-10-19
*	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
*	MAJ V7.3	herbelin	2002-05-16
*	Ajout remarques diverses et tactiques	herbelin	2002-04-17
*	package camlindent inutilise	barras	2002-04-10
*	maj newsyntax	barras	2002-02-04
*	MAJ V7.2	herbelin	2001-12-21
*	ajout du document sur la nouvelle syntaxe	barras	2001-12-11
*	document sur les propositions de nouvelle syntaxe	barras	2001-12-11
*	Mise a jour des dependances	clrenard	2001-11-29
*	MAJ après restructuration kernel	herbelin	2001-11-09
*	MAJ de graphes de dependance pour la doc des sources	coq	2001-04-24