coq - The formal proof system

Age	Commit message (Expand)	Author
2003-03-12	* empty log message *	barras
2002-11-28	Ajout d'une entre Prim.bigint	herbelin
2002-11-14	Réforme de l'interprétation des termes :	herbelin
2002-10-13	Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...	herbelin
2002-08-02	Modules dans COQ\!\!\!\!	coq
2002-06-05	Correction mauvais ordre dans le parsing des dirpath; MAJ de la quotification	herbelin
2002-05-29	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin
2001-11-05	GROS COMMIT:	barras
2001-08-13	bug incompatibilité	herbelin
2001-08-10	Parsing	herbelin
2001-05-03	Changement de la structure des points fixes	barras
2001-04-04	renommage du module Pcoq.Vernac en Pcoq.Vernac_ pour contourner un bug d'ocam...	filliatr
2001-03-15	entetes	filliatr
2000-11-20	Nouveau lexeme METAIDENT pour les $id	herbelin
2000-11-07	Changement/extension dans les noms de parseurs de Grammar	herbelin
2000-11-03	compilation des fichiers ml4 sans GNUseries	filliatr
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
1999-09-08	compilation des grammaires (ouf)	filliatr
1999-09-08	modules grammaire Coq	filliatr