coq - The formal proof system

Age	Commit message (Expand)	Author
2009-03-22	Backport from v8.2 branch of 11986 (interpretation of quantified	herbelin
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey
2009-03-17	- configure: affiche si le natdynlink est positionne	barras
2009-03-11	Cleanup: remove unused config/giveostype.ml	letouzey
2009-03-11	Cleanup: remove old correctness files, unused for a long time	letouzey
2009-02-11	Gestion des espaces dans les noms + guess_coqlib sous Windows	notin
2009-02-11	Fix d'un petit problème de chemin sous Windows	notin
2009-02-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-01-22	configure: more adequate message explaining what -opt is doing	letouzey
2009-01-22	Fix d'un petit problème avec ocamlmklib en présence de l'option -camldir	notin
2009-01-13	Updated dates	herbelin
2009-01-13	Workaround to compile the coq archive with dynamic loading on Mac OS 10.5	herbelin
2009-01-11	- Deactivation of dynamic loading on Mac OS 10.5 (see bug #2024).	herbelin
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