coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Nettoyage et documentation de Library	herbelin	2005-02-06
*	MAJ	herbelin	2005-01-21
*	Tactic Notation et with-names	herbelin	2004-03-02
*	- fixed the Assert_failure error in kernel/modops	barras	2004-02-18
*	Suppression de 'Print.' en v8	herbelin	2004-01-29
*	bugs avec Pose et Assert	barras	2004-01-09
*	* empty log message *	barras	2003-12-24
*	* empty log message *	barras	2003-12-24
*	MAJ Notation	herbelin	2003-12-24
*	* empty log message *	barras	2003-12-23
*	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