coq - The formal proof system

Age	Commit message (Expand)	Author
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
2003-12-08	pas de Goal pendant une preuve	filliatr
2003-12-08	maj	filliatr
2003-12-06	maj	filliatr
2003-12-05	power associe a droite	marche
2003-12-05	Pour eviter d'avoir un gros type dans Set	herbelin
2003-12-05	maj	filliatr
2003-12-04	Suppression du niveau 250 vide car pose des problemes avec camlp4; remplace p...	herbelin
2003-12-04	Suppression du niveau 250 vide car pose des problemes avec camlp4; remplace p...	herbelin
2003-12-04	MAJ 'abstract'	herbelin
2003-12-04	Symetrisation parsing/printing 'abstract'	herbelin
2003-12-04	changement menu et toolbar	marche
2003-12-03	L'installation ne copiait pas les .vo du traducteur	herbelin
2003-12-03	Rle_monotony_contra devenu Rmult_le_reg_l avant traduction	herbelin
2003-12-03	Meilleure robustesse des reordonnement d'arguments (4eme) en attendant le mem...	herbelin
2003-12-03	maj	filliatr
2003-12-03	maj	filliatr
2003-12-02	maj	filliatr
2003-12-02	maj	filliatr
2003-12-02	error messages adjustement	corbinea
2003-12-02	maj	filliatr
2003-12-01	* empty log message *	clrenard