| Age | Commit message (Expand) | Author |
|---|
| 2011-06-14 | Revert "Coqide now need lablgtk2.14.0" + Ide build system debugging | pboutill |
| 2011-06-10 | Coqide Menubar integration in MacOS | pboutill |
| 2011-04-28 | coqtop -config returns coq returns coq environments at exection time | pboutill |
| 2011-04-21 | Coqide: a special kill function for win32 | letouzey |
| 2011-01-07 | MacOS integration | pboutill |
| 2010-10-07 | TeX input method is now supported upstream | vgross |
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin |
| 2010-05-19 | Add (almost) compatibility with camlp4, without breaking support for camlp5 | letouzey |
| 2010-04-29 | "make source-doc" builds documentation of mli in html and pdf at | pboutill |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2010-04-11 | Look for csdp in $PATH at runtime, remove -csdpdir configure option | glondu |
| 2010-03-08 | Application des patches envoyés par F. Besson pour micromega | notin |
| 2010-02-18 | Polishing the setup of CoqIDE Input Method | vgross |
| 2009-12-09 | Factorisation between Makefile and ocamlbuild systems : .vo to compile are in... | letouzey |
| 2009-08-14 | 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-04-24 | Report de la révision #12104 (Maj lien site web de Coq) | notin |
| 2009-04-03 | Ocamlbuild: option for (not) building coqide, better log messages | letouzey |
| 2009-04-03 | Ocamlbuild: improvements suggested by N. Pouillard | letouzey |
| 2009-03-20 | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | letouzey |
| 2009-03-11 | Cleanup: remove unused config/giveostype.ml | letouzey |
| 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-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-19 | Nettoyage des variables Coq et amélioration de coqmktop. Les | notin |
| 2008-11-02 | Fix CAMLHLIB (due to r11358) (Closes: #1986) | glondu |
| 2008-10-28 | Native "Declare ML Module" when possible | glondu |
| 2008-09-06 | Install dllcoqrun.so and use it by default | glondu |
| 2008-09-06 | $(COQLIB) -> $(COQLIBINSTALL) in Makefiles | glondu |
| 2008-09-05 | Parametrize link flags for VM-dependent bytecode | glondu |
| 2008-09-05 | Build coqrun library using ocamlmklib... | 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-05-19 | Fix caml debug flags configuration, -g works with the native compiler only | msozeau |
| 2008-05-08 | Integration of theories/Ints into theories/Numbers, again : better generation... | letouzey |
| 2008-02-14 | Plongement de doc/Makefile dans la nouvelle architecutre des Makefile | notin |
| 2008-01-11 | Amélioration de la génération des graphes de dépendances | notin |
| 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-09-15 | * Adding compability with ocaml 3.10 + camlp5 (rework of | letouzey |
| 2007-08-24 | Report 10087, 10089, 10090 de 8.1 vers trunk (compatibilité camlp5 et -recty... | herbelin |
| 2007-07-13 | New bootstrapping, improved, Makefile system | corbinea |
| 2006-10-11 | Ajout d'une option -annotate au configure+ changement du comportement par dé... | notin |
| 2006-09-14 | Compilation de Coq sous Windows | notin |
| 2006-09-01 | Suite ajout option -ocamlib à configure | notin |
| 2006-08-30 | Modification du configure pour paramétrer les exécutables liés à la compi... | notin |
