| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2006-08-29 | Compilation de Coq sous Windows | notin |
| 2006-08-29 | Changement de l'appel aux exécutables Caml (noms absolus) | notin |
| 2006-07-28 | Modifications dans les scripts de configuration (coqtop et coqide affichent m... | notin |
| 2006-06-09 | Ajout d'une option -with-geoproof à la configuration et à l'exécution | notin |
| 2006-05-04 | - intégration de la modification suggérée par L. Mamane: coqmktop passe ma... | notin |
| 2006-04-29 | suite de l'ajout des FSets/FMaps dans les theories standards | letouzey |
| 2006-04-28 | Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '... | notin |
| 2005-11-04 | Compatibilité ocaml 3.09 | herbelin |
| 2004-10-20 | COMMITED BYTECODE COMPILER | barras |
| 2004-07-16 | Mise en place mécanisme de compatibilité ocaml 3.08 | herbelin |
| 2004-07-16 | Nouvelle en-tête | herbelin |
