coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	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-08
*	maj	filliatr	2003-12-06
*	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-05
*	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-04
*	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-03
*	maj	filliatr	2003-12-02
*	maj	filliatr	2003-12-02
*	error messages adjustement	corbinea	2003-12-02
*	maj	filliatr	2003-12-02
*	* 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-12-01
*	MAJ	herbelin	2003-11-30
*	MAJ	herbelin	2003-11-30
*	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