coq - The formal proof system

Age	Commit message (Expand)	Author
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-05-21	Concentration des notations officielles dans Init/Notations; restructuration ...	herbelin
2003-04-17	Intégration DatatypesSyntax à Datatypes	herbelin
2003-03-12	* empty log message *	barras
2002-12-15	Une entrée spéciale "annot" pour les piquants	herbelin
2002-11-28	Simplification	herbelin
2002-11-26	Bug ProjSn + retour de "Notation" pour déclarer les définitions syntaxiques	herbelin
2002-11-25	Retablissement SynDef Value/Error	herbelin
2002-11-24	Généralisation de l'utilisation de Notation	herbelin
2002-11-14	Oubli	herbelin
2002-10-23	Re-déplacement de sum/sumor/sumbool et prod au niveaux 4 et 3 pour	herbelin
2002-10-22	Redéplacement de + (sum) et * (prod) au niveau de + et * de l'arithmétique;...	herbelin
2002-10-21	Niveau d'affichage sumor/sumbool incohérent avec le parsing	herbelin
2002-10-17	Bugs dans la factorisation des règles de parsing de "{ ... } * ..."	herbelin
2002-10-13	Déplacement de + et * aux niveaux de précédence 7 et 6	herbelin
2002-07-15	Bug de précédence	herbelin
2002-07-11	Hack pour parser '{x:T\|P}*B' sans parentheses	herbelin
2002-05-29	Utilisation d'Infix/Distfix autant que possible	herbelin
2002-02-14	option -dump-glob pour coqdoc	filliatr
2002-01-09	MAJ des Id pour coqweb	herbelin
2001-11-14	Suppression d'Export redondants	herbelin
2001-05-29	Correction d'un bug du pretty-print	clrenard
2001-03-15	entetes	filliatr
2000-11-07	Changement/extension dans les noms de parseurs de Grammar	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-04-30	Bug affichage Error et Value	herbelin
2000-01-07	Renommage command en constr	herbelin
1999-12-16	erreurs de syntax :$	filliatr
1999-12-13	fichiers prelude Coq	filliatr