coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Détection de la version de lablgtk (type GText.view)	herbelin	2005-11-18
*	Compatibilité ocaml 3.09	herbelin	2005-11-04
*	Compatibilité ancien nom de ocamldebug-coq	herbelin	2004-12-31
*	Renommage de ocamldebug-v7 en ocamldebug-coq (pour passage à la v8)	herbelin	2004-12-23
*	COMMITED BYTECODE COMPILER	barras	2004-10-20
*	Mise en place mécanisme de compatibilité ocaml 3.08	herbelin	2004-07-16
*	Bricoles (cf bug #782)	herbelin	2004-05-27
*	Incoherence bytecamlc et camlc si echec a trouver ocamlc.opt avec option -opt...	herbelin	2004-04-08
*	* empty log message *	barras	2004-04-07
*	MAJ V8.0 finale	herbelin	2004-04-06
*	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