coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Added profile.cmo in grammar.cma so that any functions in one of the	herbelin	2009-08-14
*	Tried to make F1 documentation tool working in CoqIDE.	herbelin	2009-08-14
*	Report de la révision #12104 (Maj lien site web de Coq)	notin	2009-04-24
*	Ocamlbuild: option for (not) building coqide, better log messages	letouzey	2009-04-03
*	Ocamlbuild: improvements suggested by N. Pouillard	letouzey	2009-04-03
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20
*	Cleanup: remove unused config/giveostype.ml	letouzey	2009-03-11
*	Fix de divers petits problèmes d'installation	notin	2009-02-11
*	Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk	notin	2009-02-11
*	Add -coqtoolsbyteflags and -custom to ./configure...	glondu	2009-02-11
*	Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...	notin	2009-01-06
*	Report de la révision 11754 (compilation sous windows)	notin	2009-01-06
*	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin	2008-12-19
*	Fix CAMLHLIB (due to r11358) (Closes: #1986)	glondu	2008-11-02
*	Native "Declare ML Module" when possible	glondu	2008-10-28
*	Install dllcoqrun.so and use it by default	glondu	2008-09-06
*	$(COQLIB) -> $(COQLIBINSTALL) in Makefiles	glondu	2008-09-06
*	Parametrize link flags for VM-dependent bytecode	glondu	2008-09-05
*	Build coqrun library using ocamlmklib...	glondu	2008-09-05
*	Add -browser option to configure script	glondu	2008-07-27
*	moved magic numbers to configure (share coq/coqchk)	barras	2008-07-24
*	Ajout d'une option pour contrôler l'installation automatique de la documenta...	notin	2008-07-16
*	Fix caml debug flags configuration, -g works with the native compiler only	msozeau	2008-05-19
*	Integration of theories/Ints into theories/Numbers, again : better generation...	letouzey	2008-05-08
*	Plongement de doc/Makefile dans la nouvelle architecutre des Makefile	notin	2008-02-14
*	Amélioration de la génération des graphes de dépendances	notin	2008-01-11
*	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
*	Suite ajout option -ocamlib à 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
*	Ajout d'une option -with-geoproof à la configuration et à l'exécution	notin	2006-06-09
*	- 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
*	Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...	notin	2006-04-28
*	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
*	Nouvelle en-tête	herbelin	2004-07-16
*	install de coqdoc	barras	2004-03-17
*	coqdoc	filliatr	2004-02-24
*	pour win32	coq	2004-01-29