coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Nouvelle beta	herbelin	2001-02-02
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1310 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Mauvais numéro de version de camlp4 requis	herbelin	2000-12-22
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1190 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Novembre -> Décembre	herbelin	2000-12-22
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1188 85f007b7-540e-0410-9357-904b9bb8a0f7
*	- suppression mind_extract_params	filliatr	2000-12-15
\| \| \| \| \| \| \| \| \|	- contraintes univers parametres inductifs prises en compte - exception UniverseInconsistency donne un message "Error: Universe Inconsistency" git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1125 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Un == non reconnu sous alpha	delahaye	2000-11-28
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@999 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Paramètrage de ocamldebug-v7 par configure à partir d'un 'template'	herbelin	2000-11-24
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@949 85f007b7-540e-0410-9357-904b9bb8a0f7
*	- coqc: utilise le meilleur coq possible	filliatr	2000-11-24
\| \| \| \| \| \| \| \|	- coqc -v réparé - coqtop: options -byte et -opt git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@940 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Prise en compte camlp4.opt dans la configuration et le Makefile	herbelin	2000-11-20
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@874 85f007b7-540e-0410-9357-904b9bb8a0f7
*	-opt ne remplace plus camlp4 par camlp4o.opt car on ne peut pas	filliatr	2000-11-15
\| \| \| \| \| \| \| \|	charger de bytecode avec camlp4o.opt (et la compilation échoue sur parsing/pcoq.ml4 dans ce cas) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@850 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Prise en compte camlp4.opt dans la configuration et le Makefile	herbelin	2000-11-11
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@844 85f007b7-540e-0410-9357-904b9bb8a0f7
*	nouveau load path	filliatr	2000-11-08
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@828 85f007b7-540e-0410-9357-904b9bb8a0f7
*	tous les binaires maintenant dans le repertoire bin	filliatr	2000-11-08
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@822 85f007b7-540e-0410-9357-904b9bb8a0f7
*	compilation avec make de Solaris; README et INSTALL	filliatr	2000-11-03
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@797 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Adaptation pour alpha.	delahaye	2000-07-05
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@555 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Retrait du 'strip' en cas de profiling	herbelin	2000-06-27
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@518 85f007b7-540e-0410-9357-904b9bb8a0f7
*	compilation bytecode / native :	filliatr	2000-05-03
\| \| \| \| \| \| \| \| \| \|	- script de configuration - Makefile - simplification de coqmktop - option -opt de coqc git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@413 85f007b7-540e-0410-9357-904b9bb8a0f7
*	lorsque ocamlc est donne a la main, alors ocamlopt est positionne avec	filliatr	2000-01-26
\| \| \| \| \| \| \|	le mem chemin (et le suffixe eventuel .opt est conserve) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@285 85f007b7-540e-0410-9357-904b9bb8a0f7
*	mise en place des outils	filliatr	1999-12-11
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@236 85f007b7-540e-0410-9357-904b9bb8a0f7
*	- erreurs Pretype	filliatr	1999-12-10
\| \| \| \| \| \| \|	- Write / Restore State git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@230 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ajout option spéciale PPC	herbelin	1999-12-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@217 85f007b7-540e-0410-9357-904b9bb8a0f7
*	bug make_strength repare	filliatr	1999-12-03
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@200 85f007b7-540e-0410-9357-904b9bb8a0f7
*	modules profile, Coqinit et Coqtop (=main)	filliatr	1999-12-03
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@194 85f007b7-540e-0410-9357-904b9bb8a0f7
*	module Library	filliatr	1999-09-18
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@74 85f007b7-540e-0410-9357-904b9bb8a0f7
*	suppression de l'option -nowarning qui n'est pas saine	filliatr	1999-08-18
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13 85f007b7-540e-0410-9357-904b9bb8a0f7
*	module Closure	filliatr	1999-08-17
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Initial revision	filliatr	1999-08-16
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2 85f007b7-540e-0410-9357-904b9bb8a0f7