coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Bug réaffichage EXT	herbelin	2004-04-15
*	Definition de la notation de la paire par un motif recursif	herbelin	2004-03-17
*	Commentaires	herbelin	2004-03-17
*	Bug compatibilite	herbelin	2004-03-12
*	MAJ Commentaires	herbelin	2004-02-28
*	Ajout delimiteur pour bool_scope	herbelin	2004-02-12
*	Décomposition automatique des règles d'analyse syntaxique pour les	herbelin	2004-02-12
*	MAJ simplification	herbelin	2004-01-27
*	Suppression de Rsyntax en v8	herbelin	2004-01-13
*	bugs avec Pose et Assert	barras	2004-01-09
*	Retrait de la notation '^' pour 'power' en V7 car sinon confusion avec la syn...	herbelin	2004-01-09
*	Vieille syntaxe	herbelin	2004-01-07
*	Ajout delimiteur et arguments de scope pour list	herbelin	2003-12-24
*	Finalement, espacement autour du ':' pour a la fois exists, forall et fun	herbelin	2003-12-23
*	Affichage sur le modèle du forall pour le exists	herbelin	2003-12-21
*	exists \| --> exists ,	barras	2003-12-16
*	Duplication temporaire des règles de syntaxe des paires	herbelin	2003-12-16
*	power associe a droite	marche	2003-12-05
*	Suppression du niveau 250 vide car pose des problemes avec camlp4; remplace p...	herbelin	2003-12-04
*	Meilleure robustesse des reordonnement d'arguments (4eme) en attendant le mem...	herbelin	2003-12-03
*	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
*	Meilleure robustesse des reordonnement d'arguments	herbelin	2003-12-01
*	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