coq - The formal proof system

Age	Commit message (Expand)	Author
2003-12-22	maj	filliatr
2003-12-21	Affichage sur le modèle du forall pour le exists	herbelin
2003-12-21	Traduction PolyList/List dans la qualification	herbelin
2003-12-20	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-19	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-18	maj	filliatr
2003-12-17	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-16	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-15	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-13	MAJ	herbelin
2003-12-13	Correction bug soumis par Yves	herbelin
2003-12-13	MAJ	herbelin
2003-12-13	maj	filliatr
2003-12-12	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-11	Nouvelle version qui compile dans un sous-repertoire avant d'ecraser le reper...	herbelin
2003-12-11	maj	filliatr
2003-12-10	maj	filliatr
2003-12-10	maj	filliatr
2003-12-09	cc update	corbinea
2003-12-09	commandes de coqide	marche
2003-12-09	maj	filliatr
2003-12-09	maj	filliatr
2003-12-08	correction bug: parentheses ne cassent plus les implicites	barras
2003-12-08	preferences	marche
2003-12-08	bug de preferencs/font"	marche