coq - The formal proof system

Age	Commit message (Expand)	Author
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
2003-12-01	numeros version	marche
2003-12-01	contrib jcf	marche
2003-12-01	Nouvelle tactique EExists	clrenard
2003-12-01	Amélioration du message d'erreur "w_unify"	clrenard
2003-12-01	Meilleure robustesse des reordonnement d'arguments (3eme)	herbelin
2003-12-01	Meilleure robustesse des reordonnement d'arguments (2eme)	herbelin
2003-12-01	Meilleure robustesse des reordonnement d'arguments	herbelin
2003-12-01	Ratage standardisation Rge_monotony en Rmult_ge_compat_r	herbelin
2003-12-01	Meilleure robustesse des reordonnement d'arguments	herbelin
2003-12-01	Bug traduction clearbody	herbelin