coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Ajout 'Print Scopes' et 'Bind Scope with classes'; 'Delimits' -> 'Delimit'	herbelin	2003-09-12
*	'Grammar tactic' devient 'Tactic Notation'	herbelin	2003-09-09
*	Mise en place possibilité de définitions locales dans les paramètres des r...	herbelin	2003-09-06
*	'Implicits qid' -> 'Implicit Arguments qid'	herbelin	2003-09-06
*	Mise en place possibilité de définitions locales dans les paramètres des i...	herbelin	2003-09-06
*	Passage de lconstr à constr pour les arguments immédiat de commandes	herbelin	2003-09-06
*	Relachement conflit 'with' dans le cas des Module with Definition	herbelin	2003-09-02
*	'Assumptions' sur le modèle général des lieurs	herbelin	2003-08-31
*	Pb de mot-cle	herbelin	2003-08-14
*	Nouvelle mouture du traducteur v7->v8	herbelin	2003-08-11
*	Ajout V8Notation	herbelin	2003-05-22
*	Possibilité de syntaxe conjointement à la définition des inductifs et des ...	herbelin	2003-05-21
*	Prise en compte des syntaxes v8 dans Uninterpreted Notation	herbelin	2003-04-29
*	Factorisation des produits de même type; parenthèses autour des x:=c et n:=...	herbelin	2003-04-29
*	Ajout "at next level" dans Notation	herbelin	2003-04-17
*	Ajout option 'Local' à Infix et Notation	herbelin	2003-04-11
*	Ajout option "Local" à "Open Scope"	herbelin	2003-04-08
*	Mise en place de 'Implicit Variable' (variante du 'Reserve' de mizar)	herbelin	2003-03-29
*	MAJ des mots-clés, Definition, Theorem, ...	herbelin	2003-03-27
*	* empty log message *	barras	2003-03-21
*	* empty log message *	barras	2003-03-12