coq - The formal proof system

Age	Commit message (Expand)	Author
2004-03-17	Hack pour traduction des changements non uniformes de syntaxe des TACTIC et V...	herbelin
2004-03-17	install de coqdoc	barras
2004-03-17	suppression du ./ devant (et .\ sous Windows)	filliatr
2004-03-17	MAJ	herbelin
2004-03-17	Parsing des V8Notation avec motif recursif en v7	herbelin
2004-03-17	Definition de la notation de la paire par un motif recursif	herbelin
2004-03-17	Definition de la notation de la paire par un motif recursif	herbelin
2004-03-17	Utilisation de '..' pour la notation concrete des motifs recursifs de filtrage	herbelin
2004-03-17	Motifs recursifs de notations: prise en compte de l'associativite et des nota...	herbelin
2004-03-17	Amelioration affichage des notations	herbelin
2004-03-17	CREDITS	mohring
2004-03-17	maj	filliatr
2004-03-17	Commentaires	herbelin
2004-03-17	Message d'erreur	herbelin
2004-03-17	Mise en place de motifs récursifs dans Notation; quelques simplifications au...	herbelin
2004-03-16	MAJ	herbelin
2004-03-16	Mise a jour ZArith/Cregut	mohring
2004-03-16	mise a jour des menus	mohring
2004-03-16	Adaptation a la v7 du message d'erreur Match_failure	herbelin
2004-03-16	typo	coq
2004-03-16	application patch de Lionel Elie Mamane pour option -R et chemins relatifs/ab...	filliatr
2004-03-16	install de pcoq incorrect + spec rpm	barras
2004-03-16	pages de man pour coqwc et coqdoc	filliatr
2004-03-16	page de man pour coqdoc	filliatr
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