coq - The formal proof system

Age	Commit message (Expand)	Author
2001-06-19	Un bug corrige.	clrenard
2001-06-12	Ajout de la tactique Setoid_replace.	clrenard
2001-05-29	Facilites pour le debogguage des univers.	coq
2001-05-28	Pretty -> Prettyp	filliatr
2001-05-28	patch Claudio	filliatr
2001-05-28	nettoyage	filliatr
2001-05-25	Oups: flingait les Dglob dans optimize	letouzey
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	Modification afin de permettre plusieurs modifs successives d'une commande	clrenard
2001-05-14	mise en place extraction haskell	filliatr
2001-05-14	réparation Ring (simplifications)	filliatr
2001-05-11	application patch Claudio	filliatr
2001-05-11	bug cast	letouzey
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-09	nettoyage extraction	filliatr
2001-05-09	cleanup + comments, toujours	letouzey
2001-05-07	integration de field a fourier	mayero
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	make reals prend en compte tous les .vo de theories/Reals	filliatr
2001-04-24	Suppression d'une partie de code commente	delahaye
2001-04-24	README avec ref (2)	letouzey
2001-04-24	TODO in v.o., test/Makefile moins pire, README avec ref	letouzey
2001-04-24	Ajout du .depend	mohring
2001-04-24	Retire theories/Num	mohring
2001-04-24	Correction typos	mohring
2001-04-24	ajout d'un fichier README	letouzey
2001-04-24	Fin d'optimisation (cas modules) + warning pour coind & ocaml	letouzey
2001-04-24	cofix_warning dans les parametres d'extraction	filliatr
2001-04-24	Removing a debug message for the search command.	bertot
2001-04-23	forme code	filliatr
2001-04-23	mise a jour	letouzey
2001-04-23	realisation des reals	letouzey
2001-04-23	Gros nain avec de Bruijn...	letouzey
2001-04-23	divers	filliatr
2001-04-23	nettoyage	filliatr
2001-04-23	expansion des constr purs	filliatr
2001-04-23	Uncurryfy_ast inutile depuis l'eta-expansion dans extraction.ml.	letouzey
2001-04-23	Remaniement Makefile de test. make reals possible	letouzey
2001-04-20	Ajout Fourier	mayero
2001-04-20	optimizations extraction	filliatr