coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	New bootstrapping, improved, Makefile system	corbinea	2007-07-13
*	Le configure et le README accordent leurs violons pour exiger ocaml 3.07 (res...	herbelin	2007-04-24
*	Revision of the coqide configuration:	letouzey	2007-02-27
*	Merge from Lionel Elie Mamane's private branch:	lmamane	2007-01-10
*	Adaptation à FreeBSD	notin	2006-11-16
*	Changement du magic number	notin	2006-11-06
*	Changement de la valeur par défaut de with_geoproof (stabilité coqide)	notin	2006-10-24
*	Ajout d'une option -annotate au configure+ changement du comportement par dé...	notin	2006-10-11
*	Bug dans configure (test best_compiler)	notin	2006-09-14
*	Modification de l'appel aux exécutables Caml	notin	2006-09-14
*	Suite ajout option -ocamlib à configure	notin	2006-09-01
*	Affichage de l'aide dans configure	notin	2006-09-01
*	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
*	Report des modifications faites lors de la 8.0pl3 (ter)	notin	2006-06-15
*	Report des modifications faites lors de la 8.0pl3 (bis)	notin	2006-06-15
*	Report des modifications faites lors de la 8.0pl3	notin	2006-06-15
*	Ajout d'une option -with-geoproof à la configuration et à l'exécution	notin	2006-06-09
*	Changement de l'option -where: on vérifie si la variable d'environnement COQ...	notin	2006-06-07
*	Restructuration dossier dev et mise à jour de certaines documentations	herbelin	2006-05-23
*	suite de l'ajout des FSets/FMaps dans les theories standards	letouzey	2006-04-29
*	Maj configure, README, etc...	notin	2006-04-14
*	Correction d'un bug sur 'make doc' et modification des propriétés dans doc/	notin	2006-03-23
*	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