coq - The formal proof system

Age	Commit message (Expand)	Author
2001-06-11	Reparation d'un bug d'affichage. Les let destructurants, if, et vieux Case	clrenard
2001-06-11	Fix de quelques bugs syntaxiques de Ltac	delahaye
2001-06-05	Ajout de deux anciens bugs	delahaye
2001-06-04	Correction bug outside	mayero
2001-06-01	Correction d'un bug du a un Intros trop violent	delahaye
2001-06-01	Backtrack vers comportement de la V6 pour eviter les globaux dans le nommage ...	herbelin
2001-05-31	Creation du fichier Zhints.v repertoriant les thms de ZArith et definissant l...	herbelin
2001-05-31	Amelioration - subjective - de l'affichage des Hint	herbelin
2001-05-29	Retablissement de minicoq	coq
2001-05-29	Facilites pour le debogguage des univers.	coq
2001-05-29	Chgt de MAKE= ...	letouzey
2001-05-29	Correction d'un bug du pretty-print	clrenard
2001-05-28	option -byte	filliatr
2001-05-28	Pretty -> Prettyp	filliatr
2001-05-28	option -quality	filliatr
2001-05-28	patch Claudio	filliatr
2001-05-28	nettoyage	filliatr
2001-05-25	Oups: flingait les Dglob dans optimize	letouzey
2001-05-25	erreur DeBruijn causant un RecursionNotOnInductiveType quand le type est un Let	letouzey
2001-05-25	Remplacement push_rec_types (Rel) pour Fix parpush_named_rec_types	herbelin
2001-05-23	amelioration des messages d'erreurs vis a vis des evars	barras
2001-05-22	maj	letouzey
2001-05-22	suite du musée des horreurs	letouzey
2001-05-22	ordre des inductifs + axiome-type	letouzey
2001-05-18	Erreur dans un commentaire ...	clrenard
2001-05-18	Modification afin de permettre plusieurs modifs successives d'une commande	clrenard
2001-05-16	Correction d'un commentaire erroné.	clrenard
2001-05-15	Ajout d'une fonction de remplacement d'un sous-terme par un terme.	clrenard
2001-05-15	Modification pour passage p-automates	mohring
2001-05-15	Correction bug predicat du Cases (suite)	herbelin
2001-05-14	mise en place extraction haskell	filliatr
2001-05-14	réparation Ring (simplifications)	filliatr
2001-05-12	Bug propagation du predicat des Cases	herbelin
2001-05-12	Oubli d'hypotheses pour faire fonctionner les exemples	herbelin
2001-05-12	Oubli d'hypotheses pour faire fonctionner les exemples	herbelin
2001-05-11	application patch Claudio	filliatr
2001-05-11	bug cast	letouzey
2001-05-11	m.a.j. PROBLEMES/TODO	letouzey
2001-05-11	construct_reference regarde d'abord dans le contexte local, puis les globaux	filliatr
2001-05-10	exemples Magic	letouzey
2001-05-10	message 'is defined' seulement en mode verbose	filliatr
2001-05-10	retouche de extract_inductive_declaration	letouzey
2001-05-10	ajout d'un afficher de contexte et d'une fonction constbody_of_string	letouzey
2001-05-10	Bug lift de la contrainte au passage du let (bug rapporte par S. Boulme)	herbelin
2001-05-09	nettoyage extraction	filliatr
2001-05-09	cleanup + comments, toujours	letouzey
2001-05-07	ex d'utilisation de fourier avec field	mayero
2001-05-07	integration de field a fourier	mayero
2001-05-07	quelques bug reports mineurs	barras
2001-05-04	commentaires	letouzey