coq - The formal proof system

Age	Commit message (Collapse)	Author
2002-03-21	reparation du test des reals	letouzey
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2561 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-19	debranchement du test sur les Reals	letouzey
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2344 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-10	correction de bugs concernant la gestion des modules. debranchement du test ↵	letouzey
	d'extraction sur les Reals en attendant git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2282 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-11-13	Moins de fichiers avec des axioms	letouzey
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2188 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-11-07	Refonte du fichier mlutil.ml. Correction d'un bug d'optim case	letouzey
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2167 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-11-05	refonte du test	letouzey
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2162 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-11-03	changement epsilonesque	letouzey
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2155 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-11-03	retablissement de l'optim case constant	letouzey
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2154 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-26	Fin de mise en place de l'option Optimize. Reorganisation du pretty-print. ↵	letouzey
	ETC etc etc git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2141 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-20	changements mineurs du test	letouzey
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2020 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-10	changement du make depend en vu du make reals	letouzey
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1948 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-06-22	2 bugs: typevarlist pour inductifs + args pour flexibles	letouzey
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1800 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25	make reals prend en compte tous les .vo de theories/Reals	filliatr
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1712 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24	TODO in v.o., test/Makefile moins pire, README avec ref	letouzey
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1694 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24	Retire theories/Num	mohring
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1692 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24	Fin d'optimisation (cas modules) + warning pour coind & ocaml	letouzey
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1685 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-23	Remaniement Makefile de test. make reals possible	letouzey
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1661 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-19	scripts; extraction False_rec	filliatr
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1635 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-19	blindage False_rec	filliatr
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1634 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-19	modifs des scripts de test auto	filliatr
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1621 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-19	script de bench automatique pour extraction	letouzey
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1615 85f007b7-540e-0410-9357-904b9bb8a0f7