coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	install de coqdoc	barras	2004-03-17
*	preparation packages V8.0-cdrom	barras	2004-03-15
*	preparation packages V8.0-cdrom	barras	2004-03-15
*	coqdoc	filliatr	2004-02-24
*	pour win32	coq	2004-01-29
*	pour ide sous windows	coq	2004-01-29
*	meilleure separation de compil et install de coq, coqide et coq-interface	barras	2004-01-27
*	coqide utf8	marche	2004-01-20
*	MAJ	herbelin	2004-01-06
*	MAJ	herbelin	2003-12-27
*	MAJ date	herbelin	2003-11-14
*	Passage au numéro de version V8	herbelin	2003-09-12
*	* empty log message *	courant	2003-06-27
*	* empty log message *	monate	2003-05-26
*	configure pour CoqIde repare	monate	2003-05-26
*	Ocaml 3.00 a existe'	herbelin	2003-05-22
*	compat windows	filliatr	2003-05-22
*	configure et make install s'occupent de CoqIde tout seuls	filliatr	2003-05-19
*	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