coq - The formal proof system

Age	Commit message (Expand)	Author
2003-11-29	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin
2003-11-21	Tri et typo	herbelin
2003-11-13	moins unaire au niveau 35, tactiques simple_induction et simple_destruct, Loc...	barras
2003-11-12	%type au lieu de %T	herbelin
2003-11-12	petits changements de syntaxe	barras
2003-11-01	Finalement, niveau 0 pour l'argument du '-' uniare, pour eviter que les entie...	herbelin
2003-10-30	Parsing du moins unaire au niveau de l'application qui n'a pas besoin d'etre ...	herbelin
2003-10-28	Ajout %core; MAJ niveau connecteurs logique	herbelin
2003-10-22	reorganisation des niveaux (ex: = est a 70)	barras
2003-10-16	nouvelle syntaxe de ltac	barras
2003-10-13	Enregistrement '^' en v8	herbelin
2003-09-21	Les notations 'x <= y <= z' sont réservées et s'appliquent maintenant aussi...	herbelin
2003-08-10	Affichage {}+{}, niveau paire au plus haut	herbelin
2003-06-10	Deplacement delimiteur T dans Notations	herbelin
2003-05-29	Bug niveau	herbelin
2003-05-29	Ne pas mettre d'associatif a droite au niveau 3 en V7	herbelin
2003-05-22	V8Notation	herbelin
2003-05-22	Ajout V8Notation	herbelin
2003-05-21	Concentration des notations officielles dans Init/Notations; restructuration ...	herbelin