coq - The formal proof system

Age	Commit message (Expand)	Author
2009-01-10	Another problem with blanks in filenames	herbelin
2009-01-10	- Fixed the recompilation of config/revision.ml once every two conmpilations.	herbelin
2009-01-06	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
2008-12-29	compatibility with lablgtk2 version 2.12	bertot
2008-12-26	- Suppression date dans configure du trunk	herbelin
2008-12-19	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin
2008-12-16	Take advantage of natdynlink when available: almost all contribs become loada...	letouzey
2008-12-12	- configure: do not strip coqtop on Darwin so as to support dynamic loading	herbelin
2008-11-14	Amélioration du README.doc et de l'installation de la doc	notin
2008-10-28	Native "Declare ML Module" when possible	glondu
2008-10-21	More OCaml-3.11-friendly configure script	glondu
2008-09-06	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-05	Parametrize link flags for VM-dependent bytecode	glondu
2008-09-05	Build coqrun library using ocamlmklib...	glondu
2008-08-18	Revert commit 11326, to see if it is what makes bench fail	glondu
2008-08-16	Mind environment variables in (generated) coq_config.ml	glondu
2008-07-27	Add -browser option to configure script	glondu
2008-07-24	moved magic numbers to configure (share coq/coqchk)	barras
2008-07-16	Ajout d'une option pour contrôler l'installation automatique de la documenta...	notin
2008-06-18	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-12	Compilation Windows	notin
2008-06-10	2-3 petites modifs sur la doc	notin
2008-06-09	Remplacement des echo -e par printf + bug sur les exécutables ocaml dans coq...	notin
2008-06-02	Petites corrections diverses :	herbelin
2008-06-01	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-05-19	Fix caml debug flags configuration, -g works with the native compiler only	msozeau
2008-05-17	Fix a de Bruijn bug in setoid_rewrite when rewriting under	msozeau
2008-05-08	Integration of theories/Ints into theories/Numbers, again : better generation...	letouzey
2008-04-19	Test pour compilation native camlp5	herbelin
2008-04-04	Test make 3.81	herbelin
2008-04-03	- Correction d'un bug de coq_makefile sur les variables CAMLLIBS et	notin
2008-02-14	Plongement de doc/Makefile dans la nouvelle architecutre des Makefile	notin
2008-02-06	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
2007-12-13	migration of ide/utf8.v to theories/Unicode/Utf8.v	letouzey
2007-10-16	Added transitivity and irreflexivity of <, as well as < -elimination for bina...	emakarov
2007-10-11	Bug variable CAMLP4 qui ne doit pas contenir un chemin mais le type de prepro...	herbelin
2007-10-09	Verification ocaml >= 3.09.3 pour coq natif sous MacOS X Pentium	herbelin
2007-10-07	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-05	petite reparation de la config pour camlp5 apres le commit 10164	letouzey
2007-10-04	Ajout option -lablgtkdir au configure (basé sur patch de Guillaume	herbelin
2007-10-03	Compilation sous windows	notin
2007-10-02	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