coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Another problem with blanks in filenames	herbelin	2009-01-10
*	- Fixed the recompilation of config/revision.ml once every two conmpilations.	herbelin	2009-01-10
*	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
*	compatibility with lablgtk2 version 2.12	bertot	2008-12-29
*	- Suppression date dans configure du trunk	herbelin	2008-12-26
*	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin	2008-12-19
*	Take advantage of natdynlink when available: almost all contribs become loada...	letouzey	2008-12-16
*	- configure: do not strip coqtop on Darwin so as to support dynamic loading	herbelin	2008-12-12
*	Amélioration du README.doc et de l'installation de la doc	notin	2008-11-14
*	Native "Declare ML Module" when possible	glondu	2008-10-28
*	More OCaml-3.11-friendly configure script	glondu	2008-10-21
*	Install dllcoqrun.so and use it by default	glondu	2008-09-06
*	Create the bin/ directory if non-existent	glondu	2008-09-06
*	Always use environment variables	glondu	2008-09-06
*	Parametrize link flags for VM-dependent bytecode	glondu	2008-09-05
*	Build coqrun library using ocamlmklib...	glondu	2008-09-05
*	Revert commit 11326, to see if it is what makes bench fail	glondu	2008-08-18
*	Mind environment variables in (generated) coq_config.ml	glondu	2008-08-16
*	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
*	Detection de l'architecture sous Windows (et sans uname -o)	notin	2008-06-18
*	Où l'on se débarrasse de uname -o	notin	2008-06-18
*	Compilation Windows	notin	2008-06-12
*	2-3 petites modifs sur la doc	notin	2008-06-10
*	Remplacement des echo -e par printf + bug sur les exécutables ocaml dans coq...	notin	2008-06-09
*	Petites corrections diverses :	herbelin	2008-06-02
*	On cesse de demander une valeur pour l'option reals si l'utilisateur	herbelin	2008-06-01
*	Quelques amendements liées à la compilation des packages.	herbelin	2008-06-01
*	Fix caml debug flags configuration, -g works with the native compiler only	msozeau	2008-05-19
*	Fix a de Bruijn bug in setoid_rewrite when rewriting under	msozeau	2008-05-17
*	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