coq - The formal proof system

Age	Commit message (Expand)	Author
2004-03-16	page de man pour coqwc	filliatr
2004-03-16	maj	filliatr
2004-03-16	maj	filliatr
2004-03-15	preparation pour release (suite)	barras
2004-03-15	bug d'Inversion #529 (pb avec ordre d'evaluation)	barras
2004-03-15	MAJ	herbelin
2004-03-15	Ajout affichage contexte local	herbelin
2004-03-15	ajout des Print Scopes dans liste commandes sans effet	mohring
2004-03-15	preparation packages V8.0-cdrom	barras
2004-03-15	Ajout d'un fichier COPYRIGHT	mohring
2004-03-15	Mise a jour CREDITS en vue copyright	mohring
2004-03-15	preparation packages V8.0-cdrom	barras
2004-03-15	preparation packages V8.0-cdrom	barras
2004-03-15	Nouvelle reparation pour Abstract en presence de variables de contexte: on co...	herbelin
2004-03-15	To make that the translation process does not fail on data produced by	bertot
2004-03-15	oops	corbinea
2004-03-15	mise a jour depend.coq7 vs ROmega	mohring
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