coq - The formal proof system

Age	Commit message (Expand)	Author
2007-07-12	Deletion of contrib/extraction/test	letouzey
2006-06-09	changements de dernieres minutes pour la 8.1 beta:	letouzey
2006-06-02	debut de reparation du test d'extraction	letouzey
2004-03-20	petit rajeunissement du test d'extraction	letouzey
2003-01-22	Extraction des modules, enfin !	letouzey
2002-10-31	L'extraction c'est magic cvs -n up	letouzey
2002-03-21	reparation du test des reals	letouzey
2001-12-19	debranchement du test sur les Reals	letouzey
2001-12-10	correction de bugs concernant la gestion des modules. debranchement du test d...	letouzey
2001-11-13	Moins de fichiers avec des axioms	letouzey
2001-11-07	Refonte du fichier mlutil.ml. Correction d'un bug d'optim case	letouzey
2001-11-05	refonte du test	letouzey
2001-11-03	changement epsilonesque	letouzey
2001-11-03	retablissement de l'optim case constant	letouzey
2001-10-26	Fin de mise en place de l'option Optimize. Reorganisation du pretty-print. ET...	letouzey
2001-09-20	changements mineurs du test	letouzey
2001-09-10	changement du make depend en vu du make reals	letouzey
2001-06-22	2 bugs: typevarlist pour inductifs + args pour flexibles	letouzey
2001-04-25	make reals prend en compte tous les .vo de theories/Reals	filliatr
2001-04-24	TODO in v.o., test/Makefile moins pire, README avec ref	letouzey
2001-04-24	Retire theories/Num	mohring
2001-04-24	Fin d'optimisation (cas modules) + warning pour coind & ocaml	letouzey
2001-04-23	Remaniement Makefile de test. make reals possible	letouzey
2001-04-19	scripts; extraction False_rec	filliatr
2001-04-19	blindage False_rec	filliatr
2001-04-19	modifs des scripts de test auto	filliatr
2001-04-19	script de bench automatique pour extraction	letouzey