| Commit message (Expand) | Author | Age |
* | In Coq_config: get rid of coqsrc and make coqlib optional | glondu | 2011-09-27 |
* | Revert "Coqide now need lablgtk2.14.0" + Ide build system debugging | pboutill | 2011-06-14 |
* | Coqide Menubar integration in MacOS | pboutill | 2011-06-10 |
* | coqtop -config returns coq returns coq environments at exection time | pboutill | 2011-04-28 |
* | Coqide: a special kill function for win32 | letouzey | 2011-04-21 |
* | MacOS integration | pboutill | 2011-01-07 |
* | TeX input method is now supported upstream | vgross | 2010-10-07 |
* | Updated all headers for 8.3 and trunk | herbelin | 2010-07-24 |
* | Add (almost) compatibility with camlp4, without breaking support for camlp5 | letouzey | 2010-05-19 |
* | "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-29 |
* | Look for csdp in $PATH at runtime, remove -csdpdir configure option | glondu | 2010-04-11 |
* | Application des patches envoyés par F. Besson pour micromega | notin | 2010-03-08 |
* | Polishing the setup of CoqIDE Input Method | vgross | 2010-02-18 |
* | Factorisation between Makefile and ocamlbuild systems : .vo to compile are in... | letouzey | 2009-12-09 |
* | 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 |