coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Oubli	herbelin	2002-11-14
*	Re-déplacement de sum/sumor/sumbool et prod au niveaux 4 et 3 pour	herbelin	2002-10-23
*	Redéplacement de + (sum) et * (prod) au niveau de + et * de l'arithmétique;...	herbelin	2002-10-22
*	Niveau d'affichage sumor/sumbool incohérent avec le parsing	herbelin	2002-10-21
*	Bugs dans la factorisation des règles de parsing de "{ ... } * ..."	herbelin	2002-10-17
*	Déplacement de + et * aux niveaux de précédence 7 et 6	herbelin	2002-10-13
*	Bug de précédence	herbelin	2002-07-15
*	Hack pour parser '{x:T\|P}*B' sans parentheses	herbelin	2002-07-11
*	Utilisation d'Infix/Distfix autant que possible	herbelin	2002-05-29
*	option -dump-glob pour coqdoc	filliatr	2002-02-14
*	MAJ des Id pour coqweb	herbelin	2002-01-09
*	Suppression d'Export redondants	herbelin	2001-11-14
*	Correction d'un bug du pretty-print	clrenard	2001-05-29
*	entetes	filliatr	2001-03-15
*	Changement/extension dans les noms de parseurs de Grammar	herbelin	2000-11-07
*	Parsing des motifs de Syntax avec la grammaire associée à l'univers de la d...	herbelin	2000-10-18
*	Plus de piquants dans les actions des grammaires; nom de la grammaire pris co...	herbelin	2000-07-28
*	Bug affichage Error et Value	herbelin	2000-04-30
*	Renommage command en constr	herbelin	2000-01-07
*	erreurs de syntax :$	filliatr	1999-12-16
*	fichiers prelude Coq	filliatr	1999-12-13