coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	version 7.0+1 (pour Nicolas Magaud)	filliatr	2001-07-06
*	version 7.0 finale	filliatr	2001-04-23
*	ajout du cas win32	courant	2001-04-19
*	* empty log message *	courant	2001-04-19
*	Mise a jour de la config pour distrib	mohring	2001-04-10
*	nettoyage d'entrees de grammaires inutiles	courant	2001-04-09
*	ocaml 3.01 requis	herbelin	2001-03-25
*	Tag pour une beta3-ocaml3.01	herbelin	2001-03-25
*	Nouvelle beta	herbelin	2001-02-02
*	Mauvais numéro de version de camlp4 requis	herbelin	2000-12-22
*	Novembre -> Décembre	herbelin	2000-12-22
*	- suppression mind_extract_params	filliatr	2000-12-15
*	Un == non reconnu sous alpha	delahaye	2000-11-28
*	Paramètrage de ocamldebug-v7 par configure à partir d'un 'template'	herbelin	2000-11-24
*	- coqc: utilise le meilleur coq possible	filliatr	2000-11-24
*	Prise en compte camlp4.opt dans la configuration et le Makefile	herbelin	2000-11-20
*	-opt ne remplace plus camlp4 par camlp4o.opt car on ne peut pas	filliatr	2000-11-15
*	Prise en compte camlp4.opt dans la configuration et le Makefile	herbelin	2000-11-11
*	nouveau load path	filliatr	2000-11-08
*	tous les binaires maintenant dans le repertoire bin	filliatr	2000-11-08
*	compilation avec make de Solaris; README et INSTALL	filliatr	2000-11-03
*	Adaptation pour alpha.	delahaye	2000-07-05
*	Retrait du 'strip' en cas de profiling	herbelin	2000-06-27
*	compilation bytecode / native :	filliatr	2000-05-03
*	lorsque ocamlc est donne a la main, alors ocamlopt est positionne avec	filliatr	2000-01-26
*	mise en place des outils	filliatr	1999-12-11
*	- erreurs Pretype	filliatr	1999-12-10
*	Ajout option spéciale PPC	herbelin	1999-12-06
*	bug make_strength repare	filliatr	1999-12-03
*	modules profile, Coqinit et Coqtop (=main)	filliatr	1999-12-03
*	module Library	filliatr	1999-09-18
*	suppression de l'option -nowarning qui n'est pas saine	filliatr	1999-08-18
*	module Closure	filliatr	1999-08-17
*	Initial revision	filliatr	1999-08-16