coq - The formal proof system

Age	Commit message (Expand)	Author
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
2001-05-03	Changement de la structure des points fixes	barras
2001-05-02	commentaires sur renommages des var dans extract_type	letouzey
2001-04-30	cleanup, comments	letouzey
2001-04-30	ocamlweb	filliatr
2001-04-30	commentaires mlutil + binders_fold en cours	letouzey
2001-04-25	ajout pour le cdrom	mayero
2001-04-25	Notes pour la version Windows	delahaye
2001-04-25	* empty log message *	courant
2001-04-25	* empty log message *	courant
2001-04-25	* empty log message *	courant
2001-04-25	ligne vide lors de l'affichage des messages d'erreur a toplevel entre	barras
2001-04-25	message d'erreur pour rattrapper l'anomalie avec SQUASH	barras
2001-04-25	make -j world -> make world en raison de bug ocamlc/ocamlopt	courant
2001-04-25	man pages for coq-interface and parser	courant
2001-04-25	Ajout pages de man coq_makefile et coqmktop	courant
2001-04-25	modif pour RPM et Debian	courant
2001-04-25	modif rpm	courant
2001-04-25	make reals prend en compte tous les .vo de theories/Reals	filliatr
2001-04-25	coqweb	filliatr