coq - The formal proof system

Age	Commit message (Expand)	Author
2003-10-22	reorganisation des niveaux (ex: = est a 70)	barras
2003-10-10	changement nouvelle syntaxe (pt fixes)	barras
2003-09-23	Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type...	herbelin
2003-09-11	Suppression notations redondantes en v8 : Fst, ProjS1, Value, Ex ...	herbelin
2003-06-10	Suppression d'une occurrence superflue d'argument de type dans Notation sacha...	herbelin
2003-05-21	Concentration des notations officielles dans Init/Notations; restructuration ...	herbelin
2003-04-17	Syntaxe 'x=y:>T'	herbelin
2003-03-28	notations <>, Assumption avec existentiel, replace term	mohring
2003-03-21	* empty log message *	barras
2003-03-14	* empty log message *	barras
2003-03-12	* empty log message *	barras
2002-12-15	Une entrée spéciale "annot" pour les piquants	herbelin
2002-11-29	Re-échappement des \ et " dans les token string	herbelin
2002-11-28	Essai de suppression du caractere d'echappement des string	herbelin
2002-11-28	Plus de précisions	herbelin
2002-11-26	Ne pas cacher les Metas d'une notations, ils peuvent être liant dans	herbelin
2002-11-26	Plus d'indication pour le gestionnaire de niveaux	herbelin
2002-11-24	Généralisation de l'utilisation de Notation	herbelin
2002-10-23	Re-déplacement de sum/sumor/sumbool et prod au niveaux 4 et 3 pour	herbelin
2002-10-13	Nettoyage	herbelin
2002-05-29	Utilisation d'Infix/Distfix autant que possible	herbelin
2002-02-14	option -dump-glob pour coqdoc	filliatr
2002-02-14	Syntaxe IF then else au lieu de either and_then or_else	barras
2002-01-09	MAJ des Id pour coqweb	herbelin
2001-03-15	entetes	filliatr
2000-11-20	Bug dans la règle de syntaxe de ex2	herbelin
2000-10-18	Parsing des motifs de Syntax avec la grammaire associée à l'univers de la d...	herbelin
2000-07-28	Plus de piquants dans les actions des grammaires; nom de la grammaire pris co...	herbelin
2000-03-10	t -> $t dans regle grammaire EX	filliatr
2000-01-07	Renommage command en constr	herbelin
1999-12-13	- méthode load sur les Hints	filliatr
1999-12-13	fichiers prelude Coq	filliatr