coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Mise en valeur intropattern de paires et acceptation dans le 'as' de inductio...	herbelin	2003-12-22
*	MAJ	herbelin	2003-12-22
*	maj	filliatr	2003-12-22
*	Affichage sur le modèle du forall pour le exists	herbelin	2003-12-21
*	Traduction PolyList/List dans la qualification	herbelin	2003-12-21
*	MAJ messages d'erreurs en accord avec la doc	herbelin	2003-12-20
*	Bug rattrapage erreur locate_reference	herbelin	2003-12-20
*	MAJ	herbelin	2003-12-20
*	maj	filliatr	2003-12-20
*	maj	filliatr	2003-12-20
*	Suppression de l'espace avant les notations commencant par un ident	herbelin	2003-12-19
*	Inductive Types : seuls les petits types sont unitaires	mohring	2003-12-19
*	Bug affichage des metas dans un environnement avec definitions locales (bug 277)	herbelin	2003-12-19
*	Substitution dans REvar; reparation bug 277	herbelin	2003-12-19
*	Substitution dans REvar et PEvar plutot que encodage via noeud application po...	herbelin	2003-12-19
*	Reset Initial uniquement interactivement	herbelin	2003-12-19
*	name_app accessible a tous dans Nameops	herbelin	2003-12-19
*	maj	filliatr	2003-12-19
*	maj	filliatr	2003-12-18
*	Prise en compte des sous-termes imbriqués pour 'simpl ident at nums'	herbelin	2003-12-17
*	ajout test de non-regression Clear d'une def locale	barras	2003-12-17
*	maj	filliatr	2003-12-17
*	Correction bug 371 (sub_match retournait des instances non closes)	herbelin	2003-12-16
*	MAJ suppression 250	herbelin	2003-12-16
*	coqide menus on golas	marche	2003-12-16
*	exists \| --> exists ,	barras	2003-12-16
*	Duplication temporaire des règles de syntaxe des paires	herbelin	2003-12-16
*	bug #266 (Search Error si on calcule apres avoir fait Clear d'une var Local)	barras	2003-12-16
*	maj	filliatr	2003-12-16
*	modif existentielle (exists \| --> exists ,) + bug d'affichage des pt fixes	barras	2003-12-15
*	'Eval' protege dans Ppconstrnew; eval n'a pas le meme besoin	herbelin	2003-12-15
*	Protection du nom Eval pour eviter conflit avec Eval in	herbelin	2003-12-15
*	maj	filliatr	2003-12-15
*	MAJ	herbelin	2003-12-13
*	Correction bug soumis par Yves	herbelin	2003-12-13
*	MAJ	herbelin	2003-12-13
*	maj	filliatr	2003-12-13
*	Ajout exemple Yves	herbelin	2003-12-12
*	option -n de coq-tex	marche	2003-12-12
*	plus de syntaxe v8	marche	2003-12-12
*	maj	filliatr	2003-12-12
*	Nouvelle version qui compile dans un sous-repertoire avant d'ecraser le reper...	herbelin	2003-12-11
*	maj	filliatr	2003-12-11
*	maj	filliatr	2003-12-10
*	maj	filliatr	2003-12-10
*	cc update	corbinea	2003-12-09
*	commandes de coqide	marche	2003-12-09
*	maj	filliatr	2003-12-09
*	maj	filliatr	2003-12-09
*	correction bug: parentheses ne cassent plus les implicites	barras	2003-12-08