coq - The formal proof system

Age	Commit message (Expand)	Author
2003-09-12	Activation déclaration automatique de scope d'arguments	herbelin
2003-09-12	Déplacement de Declare et déclarations des scopes d'argument dans Declare	herbelin
2003-09-12	Mise en place affichage spécifique pour le scope des types	herbelin
2003-09-12	Scope type pour le codomaine de Prod aussi; ajout extern_rawtype	herbelin
2003-09-12	Scope type pour le codomaine de Prod aussi	herbelin
2003-09-12	Ajout 'Print Scopes' et 'Bind Scope with classes'; 'Delimits' -> 'Delimit'	herbelin
2003-09-12	Ajout 'Print Scopes' et 'Bind Scope with classes'; Mise en place affichage sp...	herbelin
2003-09-12	open superflu	herbelin
2003-09-12	Simplification vis a vis de Declare	herbelin
2003-09-12	Branchement constant sur Coqlib	herbelin
2003-09-11	Suppression notations redondantes en v8 : Fst, ProjS1, Value, Ex ...	herbelin
2003-09-11	Nettoyage	herbelin
2003-09-11	maj	filliatr
2003-09-10	Renommage des variables '_'	herbelin
2003-09-10	Passage des projections au niveau 1	herbelin
2003-09-10	9 est associatif a gauche	herbelin
2003-09-10	Debranchement du traducteur pour Load !	herbelin
2003-09-10	warning vers std_err	herbelin
2003-09-10	Bug predicat old Case	herbelin
2003-09-10	Traduction de Distfix	herbelin
2003-09-10	typo	narboux
2003-09-10	Ajout 'mod' comme keyword	herbelin
2003-09-10	Oubli des guillemets dans Comments	herbelin
2003-09-10	Pretty-pretting fix	herbelin
2003-09-10	maj	filliatr
2003-09-09	Bug predicat let-tuple	herbelin
2003-09-09	MAJ	herbelin
2003-09-09	Ajout construction If primitive dans constr_expr et rawconstr	herbelin
2003-09-09	Traduction des réferences arguments de commandes non primitives; 'Grammar ta...	herbelin
2003-09-09	'Grammar tactic' devient 'Tactic Notation'	herbelin
2003-09-09	Ajout If; synchro avec constrextern	herbelin
2003-09-09	Ajout If; renommage de l'ident '_'	herbelin
2003-09-09	Traduction des réferences arguments de commandes non primitives	herbelin
2003-09-09	Ajout If; protection contre clash dans return_type	herbelin
2003-09-09	Code mort	herbelin
2003-09-09	error	herbelin
2003-09-09	Protection traducteur contre meta de Grammar tactic	herbelin
2003-09-08	maj	filliatr
2003-09-06	MAJ	herbelin
2003-09-06	Mise en place possibilité de définitions locales dans les paramètres des r...	herbelin
2003-09-06	Check local definitions in context of inductive types	herbelin
2003-09-06	Mise en place possibilité de définitions locales dans les paramètres des r...	herbelin
2003-09-06	Paramétrisation vis à vis de existential_key	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	cosmetique	herbelin
2003-09-06	Adapter l'entree de grammaire a la version 7 ou 8	herbelin
2003-09-06	Mise en place possibilité de définitions locales dans les paramètres des i...	herbelin
2003-09-06	Pour accomoder autant le printer v8 que v7	herbelin
2003-09-06	Protection contre les types sans corps associé	herbelin