coq - The formal proof system

Age	Commit message (Expand)	Author
2004-03-15	identification ./f et f dans coqdep -sort	filliatr
2004-03-15	Parameters	filliatr
2004-03-15	maj	filliatr
2004-03-14	minor changes	corbinea
2004-03-14	congruence now handles disequalities	corbinea
2004-03-14	correction bug de facto des fix (2e)	barras
2004-03-14	correction bug de facto des fix	barras
2004-03-14	correction bug de choix de noms courts avec Suresnes/BDD	barras
2004-03-13	Nouvel exemple; correction du contexte du précédent	herbelin
2004-03-13	Mise en place temporaire d'un afficheur de 'language' pour le traducteur	herbelin
2004-03-13	Backtrack sur la réparation de Abstract qui casse autre chose; le problème ...	herbelin
2004-03-13	maj	filliatr
2004-03-12	Bug inversion abstract_constr_expr et prod_constr_expr	herbelin
2004-03-12	coq.spec n\'est plus parametre	barras
2004-03-12	Retablissement de la correction bug d'inversion faite dans la version 1.116 e...	herbelin
2004-03-12	Ne pas ajouter le contexte de section dans Abstract, il est deja inclus (avec...	herbelin
2004-03-12	bug des points fixes (pb avec la contrib Matrices)	barras
2004-03-12	Correction d'un defaut dans la globalisation des variables de notations	herbelin
2004-03-12	Bug compatibilite	herbelin
2004-03-12	ajout decimal_exp pour interpreter les notations decimales	mohring
2004-03-12	Corrections	herbelin
2004-03-12	maj	filliatr
2004-03-12	maj	filliatr
2004-03-11	Test l'interprétation des scopes	herbelin
2004-03-11	Ajout exemple Inst	herbelin
2004-03-11	Ajout vieil exemple de coq-club	herbelin
2004-03-11	Ajout d'un vieil exemple de N. Magaud	herbelin
2004-03-11	Ooops ! bug in firstorder fixed (let's hope no one noticed)	corbinea
2004-03-11	code obsolete	herbelin
2004-03-11	Suppression de la distinction entre elimination de Type vers Type ou pas (Fal...	herbelin
2004-03-11	Branchement EmptyT, UnitT, IT vers leur equivalent dans Set	herbelin
2004-03-11	Ajout bug #540	herbelin
2004-03-11	reals: renamed type option into field_rel_option	marche
2004-03-11	maj	filliatr
2004-03-11	maj	filliatr
2004-03-10	MAJ	herbelin
2004-03-10	Ajout tactiques stepl et stepr de Nimègue	herbelin
2004-03-10	Correction bug internalisation 'context'	herbelin
2004-03-10	maj	filliatr
2004-03-09	bug de l'inversion (coq-bugs #529)	barras
2004-03-09	option -l de coqc non reconnue (coq-bugs #509)	barras
2004-03-09	bug affichage des cofix	barras
2004-03-09	maj	filliatr
2004-03-08	correction de bugs des points fixes	barras
2004-03-08	maj	filliatr
2004-03-06	the output the parser should produce now	bertot
2004-03-06	changed the test for obj_magic.v to be less sensitive to changes	bertot
2004-03-06	maj	filliatr
2004-03-05	modif des fixpoints pour que si on donne une notation au produit, les pts fix...	barras
2004-03-05	Retablissement pour le traducteur d'une copie de pr_intro_pattern base sur la...	herbelin