coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Deletion of contrib/extraction/test	letouzey	2007-07-12
*	changements de dernieres minutes pour la 8.1 beta:	letouzey	2006-06-09
*	debut de reparation du test d'extraction	letouzey	2006-06-02
*	petit rajeunissement du test d'extraction	letouzey	2004-03-20
*	Extraction des modules, enfin !	letouzey	2003-01-22
*	L'extraction c'est magic cvs -n up	letouzey	2002-10-31
*	reparation du test des reals	letouzey	2002-03-21
*	debranchement du test sur les Reals	letouzey	2001-12-19
*	correction de bugs concernant la gestion des modules. debranchement du test d...	letouzey	2001-12-10
*	Moins de fichiers avec des axioms	letouzey	2001-11-13
*	Refonte du fichier mlutil.ml. Correction d'un bug d'optim case	letouzey	2001-11-07
*	refonte du test	letouzey	2001-11-05
*	changement epsilonesque	letouzey	2001-11-03
*	retablissement de l'optim case constant	letouzey	2001-11-03
*	Fin de mise en place de l'option Optimize. Reorganisation du pretty-print. ET...	letouzey	2001-10-26
*	changements mineurs du test	letouzey	2001-09-20
*	changement du make depend en vu du make reals	letouzey	2001-09-10
*	2 bugs: typevarlist pour inductifs + args pour flexibles	letouzey	2001-06-22
*	make reals prend en compte tous les .vo de theories/Reals	filliatr	2001-04-25
*	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-24
*	Remaniement Makefile de test. make reals possible	letouzey	2001-04-23
*	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	2001-04-19