coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Commentaires coqdoc	herbelin	2004-08-01
*	Nouvelle en-tête	herbelin	2004-07-16
*	Definition de la notation de la paire par un motif recursif	herbelin	2004-03-17
*	Décomposition automatique des règles d'analyse syntaxique pour les	herbelin	2004-02-12
*	Duplication temporaire des règles de syntaxe des paires	herbelin	2003-12-16
*	modif existentielle (exists \| --> exists ,) + bug d'affichage des pt fixes	barras	2003-12-15
*	power associe a droite	marche	2003-12-05
*	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin	2003-11-29
*	Tri et typo	herbelin	2003-11-21
*	moins unaire au niveau 35, tactiques simple_induction et simple_destruct, Loc...	barras	2003-11-13
*	%type au lieu de %T	herbelin	2003-11-12
*	petits changements de syntaxe	barras	2003-11-12
*	Finalement, niveau 0 pour l'argument du '-' uniare, pour eviter que les entie...	herbelin	2003-11-01
*	Parsing du moins unaire au niveau de l'application qui n'a pas besoin d'etre ...	herbelin	2003-10-30
*	Ajout %core; MAJ niveau connecteurs logique	herbelin	2003-10-28
*	reorganisation des niveaux (ex: = est a 70)	barras	2003-10-22
*	nouvelle syntaxe de ltac	barras	2003-10-16
*	Enregistrement '^' en v8	herbelin	2003-10-13
*	Les notations 'x <= y <= z' sont réservées et s'appliquent maintenant aussi...	herbelin	2003-09-21
*	Affichage {}+{}, niveau paire au plus haut	herbelin	2003-08-10
*	Deplacement delimiteur T dans Notations	herbelin	2003-06-10
*	Bug niveau	herbelin	2003-05-29
*	Ne pas mettre d'associatif a droite au niveau 3 en V7	herbelin	2003-05-29
*	V8Notation	herbelin	2003-05-22
*	Ajout V8Notation	herbelin	2003-05-22
*	Concentration des notations officielles dans Init/Notations; restructuration ...	herbelin	2003-05-21