coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	MAJ pour windows	herbelin	2003-02-04
*	Auto with zarith essaye Abstract Omega sur un but False	filliatr	2003-01-30
*	portabilite	doligez	2003-01-21
*	patch configure (V Aymeric)	filliatr	2003-01-13
*	Option pour compiler une version 'light' des réels	desmettr	2002-11-26
*	Intégration des modifs de la branche mowgli :	herbelin	2002-11-05
*	Simplification suite MAJ 3.06	herbelin	2002-10-03
*	Strengthenning rules for modules + No modules in sections	coq	2002-08-16
*	En attendant la 3.06, remplacement de +camlp4 par CAMLLIB/camlp4	herbelin	2002-08-02
*	suppression des ./ dans les noms des librairies	barras	2002-07-24
*	MAJ V7.3	herbelin	2002-05-15
*	exclusion des rertoires de test de l'extraction	letouzey	2002-02-05
*	* empty log message *	courant	2002-01-18
*	MAJ ocaml 3.04 sur Windows	herbelin	2002-01-10
*	Report de la distrib en janvier	herbelin	2002-01-07
*	MAJ 7.2	herbelin	2001-12-19
*	un echo de débogage superflu	herbelin	2001-10-05
*	Hack pour ajuster les chemins a la mode cygwin	herbelin	2001-09-26
*	version V7.1	herbelin	2001-09-20
*	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