coq - The formal proof system

Age	Commit message (Expand)	Author
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