coq - The formal proof system

Age	Commit message (Expand)	Author
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
2003-12-01	Idtac parle	narboux
2003-12-01	maj	filliatr
2003-12-01	maj	filliatr
2003-11-30	MAJ	herbelin
2003-11-30	MAJ	herbelin
2003-11-29	installation	herbelin
2003-11-29	Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7	herbelin
2003-11-29	Obsolete, cf Funind.v dans test-suite	herbelin
2003-11-29	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin
2003-11-29	Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7	herbelin
2003-11-29	Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7	herbelin
2003-11-29	Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7	herbelin
2003-11-29	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin
2003-11-29	Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7	herbelin