coq - The formal proof system

Age	Commit message (Expand)	Author
2003-03-12	* empty log message *	barras
2002-12-15	Une entrée spéciale "annot" pour les piquants	herbelin
2002-12-03	Essai d'introduction d'un scope des types	herbelin
2002-11-27	Retour sur associativité à droite de * pour compatibilité de prod	herbelin
2002-11-26	Bug niveau	herbelin
2002-11-25	Oubli	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-22	Redéplacement de + (sum) et * (prod) au niveau de + et * de l'arithmétique;...	herbelin
2002-10-13	Déplacement de + et * aux niveaux de précédence 7 et 6	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-03-15	entetes	filliatr
2000-12-21	Bug d'affichage à cause des << ... >>	herbelin
2000-07-28	Plus de piquants dans les actions des grammaires; nom de la grammaire pris co...	herbelin
2000-01-07	Renommage command en constr	herbelin
1999-12-13	fichiers prelude Coq	filliatr