coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Prise en compte noms longs dans SuperAuto	herbelin	2001-02-16
*	Modif pour les patterns de sous-termes	delahaye	2001-02-07
*	* empty log message *	mohring	2001-02-01
*	Mise en place de la possibilite d'unfolder des variables locales et des const...	filliatr	2001-01-31
*	Ajout du Let pour le langage de tactiques	delahaye	2000-12-29
*	ajout ident_or_constrarg pour NewInduction	herbelin	2000-12-20
*	Correction associativite de Repeat/Orelse	delahaye	2000-12-19
*	numarg -> pure_numarg a poursuivre	mohring	2000-12-11
*	Extension de la syntaxe de LetTac	herbelin	2000-12-06
*	Correction pour les qualidconstarg	delahaye	2000-12-06
*	Plus de quote devant les ident et les ?	delahaye	2000-12-05
*	Elimination du '	delahaye	2000-11-28
*	Distinction claire entre Induction (nom interne : raw_induct) et le nouvel in...	herbelin	2000-11-26
*	Bug qualidconstarg (intervient pour Transparent)	herbelin	2000-11-23
*	Nouvelle entrée qualidarg pour noms qualifiés; nouveau lexeme METAIDENT pou...	herbelin	2000-11-20
*	compilation des fichiers ml4 sans GNUseries	filliatr	2000-11-03
*	Priorite du Try/Orelse + Debug switch + correction bug dans Pattern	delahaye	2000-10-30
*	Ajout castedopenconstrarg; Renommage tactique Let en LetTac	herbelin	2000-10-03
*	Pattern matching de sous-termes + exceptions dans le lexer	delahaye	2000-08-17
*	Modifs d'interpretation de patterns + exceptions dans le lexer	delahaye	2000-07-21
*	Ajout du langage de tactiques	delahaye	2000-05-03
*	Fin du changement comarg -> constrarg	herbelin	2000-01-26
*	Nettoyage des fichiers de parsing	herbelin	2000-01-13
*	Renommage command en constr	herbelin	2000-01-07
*	- états fabriqués avec -silent	filliatr	1999-12-13
*	modifs pour premiere edition de liens	filliatr	1999-12-02
*	compilation des grammaires (ouf)	filliatr	1999-09-08
*	modules grammaire Coq	filliatr	1999-09-08