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-14	Backtrack sur Peano	herbelin
2003-11-12	Lemmes dans un sens plus naturel	herbelin
2003-10-10	nat_scope ouvert par defaut	herbelin
2003-09-23	Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type...	herbelin
2003-09-22	traducteur: affiche les commentaires a l'interieur des commandes	barras
2003-09-21	Les notations 'x <= y <= z' sont réservées et s'appliquent maintenant aussi...	herbelin
2003-09-19	Mise en place des V8Notation et V8Infix pour declarer des notations en v8 mem...	herbelin
2003-09-12	Bind et Delimit pour nat	herbelin
2003-05-21	Concentration des notations officielles dans Init/Notations; restructuration ...	herbelin
2003-04-29	Blancs	herbelin
2003-04-09	Suppression de l'étage "Import nat/Z/R_scope". "Open Scope" remplace "Import"	herbelin
2003-03-29	Déplacement de minus dans Peano	herbelin
2002-05-07	lemmes plus_O_n et plus_Sn_m (pour Yves)	filliatr
2002-05-07	lemmes plus_O_n et plus_Sn_m (pour Yves)	filliatr
2002-02-14	option -dump-glob pour coqdoc	filliatr
2002-01-10	Modifs incongrues dans le précédent commit	herbelin
2002-01-09	MAJ des Id pour coqweb	herbelin
2001-11-14	Suppression d'Export redondants	herbelin
2001-04-11	documentation automatique de la bibliothèque standard	filliatr
2001-03-15	entetes	filliatr
1999-12-13	- méthode load sur les Hints	filliatr
1999-12-13	fichiers prelude Coq	filliatr