coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Integration of theories/Ints into theories/Numbers, again : better generation...	letouzey	2008-05-08
*	Test pour compilation native camlp5	herbelin	2008-04-19
*	Test make 3.81	herbelin	2008-04-04
*	- Correction d'un bug de coq_makefile sur les variables CAMLLIBS et	notin	2008-04-03
*	Plongement de doc/Makefile dans la nouvelle architecutre des Makefile	notin	2008-02-14
*	Résolution d'une confusion dans le rôle des variables CAMLP4 et CAMLP4LIB:	herbelin	2008-02-06
*	Protection contre l'erreur mentionnée dans le rapport de bug 1790	herbelin	2008-02-06
*	migration of ide/utf8.v to theories/Unicode/Utf8.v	letouzey	2007-12-13
*	Added transitivity and irreflexivity of <, as well as < -elimination for bina...	emakarov	2007-10-16
*	Bug variable CAMLP4 qui ne doit pas contenir un chemin mais le type de prepro...	herbelin	2007-10-11
*	Verification ocaml >= 3.09.3 pour coq natif sous MacOS X Pentium	herbelin	2007-10-09
*	Détection de camlp5 5.00 au configure	herbelin	2007-10-07
*	Ajout de la possibilité de donner le chemin de la bibliothèque camlp5	herbelin	2007-10-07
*	petite reparation de la config pour camlp5 apres le commit 10164	letouzey	2007-10-05
*	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
*	Report des modifications faites sur le configure en r10039, r10052, r10053 et...	notin	2007-10-02
*	* Adding compability with ocaml 3.10 + camlp5 (rework of	letouzey	2007-09-15
*	Modification de l'initialisation des chemins de la librairie standard	notin	2007-08-20
*	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