coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Ajout "at next level" dans Notation	herbelin	2003-04-17
*	Ajout option 'Local' à Infix et Notation	herbelin	2003-04-11
*	* empty log message *	barras	2003-03-12
*	Raffinement syntaxe Infix	herbelin	2002-11-29
*	MAJ delimiters et niveaux d'associativite	herbelin	2002-11-25
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	Redéplacement de + (sum) et * (prod) au niveau de + et * de l'arithmétique;...	herbelin	2002-10-22
*	Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...	herbelin	2002-10-13
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin	2002-05-29
*	entetes	filliatr	2001-03-15
*	protection contre certaines exceptions levees par marshal_{in,out}	barras	2001-03-09
*	Déplacement de qualid dans Nametab, hors du noyau	herbelin	2001-03-01
*	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr	2000-12-12
*	Abstraction du type 'qualid' pour les noms qualifiés relatifs distinct de 's...	herbelin	2000-11-22
*	Prise en compte noms longs	herbelin	2000-11-20
*	module Metasyntax	filliatr	1999-12-01