coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Ajout option -lablgtkdir au configure (basé sur patch de Guillaume	herbelin	2007-10-04
*	Compilation sous windows	notin	2007-10-03
*	Fix a problem doing 'make clean' under Winodws	notin	2007-10-02
*	* Adding compability with ocaml 3.10 + camlp5 (rework of	letouzey	2007-09-15
*	Report 10087, 10089, 10090 de 8.1 vers trunk (compatibilité camlp5 et -recty...	herbelin	2007-08-24
*	New bootstrapping, improved, Makefile system	corbinea	2007-07-13
*	Ajout d'une option -annotate au configure+ changement du comportement par dé...	notin	2006-10-11
*	Compilation de Coq sous Windows	notin	2006-09-14
*	Modification du configure pour paramétrer les exécutables liés à la compi...	notin	2006-08-30
*	Compilation de Coq sous Windows	notin	2006-08-29
*	Changement de l'appel aux exécutables Caml (noms absolus)	notin	2006-08-29
*	Modifications dans les scripts de configuration (coqtop et coqide affichent m...	notin	2006-07-28
*	- intégration de la modification suggérée par L. Mamane: coqmktop passe ma...	notin	2006-05-04
*	suite de l'ajout des FSets/FMaps dans les theories standards	letouzey	2006-04-29
*	Compatibilité ocaml 3.09	herbelin	2005-11-04
*	COMMITED BYTECODE COMPILER	barras	2004-10-20
*	Mise en place mécanisme de compatibilité ocaml 3.08	herbelin	2004-07-16
*	install de coqdoc	barras	2004-03-17
*	coqdoc	filliatr	2004-02-24
*	pour win32	coq	2004-01-29
*	configure et make install s'occupent de CoqIde tout seuls	filliatr	2003-05-19
*	Option pour compiler une version 'light' des réels	desmettr	2002-11-26
*	MAJ ocaml 3.04 sur Windows	herbelin	2002-01-10
*	Prise en compte camlp4.opt dans la configuration et le Makefile	herbelin	2000-11-11
*	Retrait du 'strip' en cas de profiling	herbelin	2000-06-27
*	compilation bytecode / native :	filliatr	2000-05-03
*	- erreurs Pretype	filliatr	1999-12-10
*	Initial revision	filliatr	1999-08-16