coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Ajout "Arguments Scope" pour associer des "scopes" aux arguments d'une	herbelin	2002-10-14
*	Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...	herbelin	2002-10-13
*	Pretty-printing preliminaire des modules, commandes	coq	2002-08-19
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	Généralisation des syntaxes ': T := t', ':= t : T', ': T', ':= t' pour	herbelin	2002-07-11
*	Intgration uniforme de coercions dans les dclarations (Variable and co) et re...	herbelin	2002-06-03
*	Fichier des expressions de commandes vernaculaires	herbelin	2002-05-29