aboutsummaryrefslogtreecommitdiffhomepage
path: root/config
Commit message (Expand)AuthorAge
* Add (almost) compatibility with camlp4, without breaking support for camlp5Gravatar letouzey2010-05-19
* "make source-doc" builds documentation of mli in html and pdf atGravatar pboutill2010-04-29
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Look for csdp in $PATH at runtime, remove -csdpdir configure optionGravatar glondu2010-04-11
* Application des patches envoyés par F. Besson pour micromegaGravatar notin2010-03-08
* Polishing the setup of CoqIDE Input MethodGravatar vgross2010-02-18
* Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...Gravatar letouzey2009-12-09
* Added profile.cmo in grammar.cma so that any functions in one of theGravatar herbelin2009-08-14
* Tried to make F1 documentation tool working in CoqIDE.Gravatar herbelin2009-08-14
* Report de la révision #12104 (Maj lien site web de Coq)Gravatar notin2009-04-24
* Ocamlbuild: option for (not) building coqide, better log messagesGravatar letouzey2009-04-03
* Ocamlbuild: improvements suggested by N. PouillardGravatar letouzey2009-04-03
* Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...Gravatar letouzey2009-03-20
* Cleanup: remove unused config/giveostype.mlGravatar letouzey2009-03-11
* Fix de divers petits problèmes d'installationGravatar notin2009-02-11
* Report des revisions #11826, #11828 et #11829 de v8.2 vers trunkGravatar notin2009-02-11
* Add -coqtoolsbyteflags and -custom to ./configure...Gravatar glondu2009-02-11
* Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...Gravatar notin2009-01-06
* Report de la révision 11754 (compilation sous windows)Gravatar notin2009-01-06
* Nettoyage des variables Coq et amélioration de coqmktop. LesGravatar notin2008-12-19
* Fix CAMLHLIB (due to r11358) (Closes: #1986)Gravatar glondu2008-11-02
* Native "Declare ML Module" when possibleGravatar glondu2008-10-28
* Install dllcoqrun.so and use it by defaultGravatar glondu2008-09-06
* $(COQLIB) -> $(COQLIBINSTALL) in MakefilesGravatar glondu2008-09-06
* Parametrize link flags for VM-dependent bytecodeGravatar glondu2008-09-05
* Build coqrun library using ocamlmklib...Gravatar glondu2008-09-05
* Add -browser option to configure scriptGravatar glondu2008-07-27
* moved magic numbers to configure (share coq/coqchk)Gravatar barras2008-07-24
* Ajout d'une option pour contrôler l'installation automatique de la documenta...Gravatar notin2008-07-16
* Fix caml debug flags configuration, -g works with the native compiler onlyGravatar msozeau2008-05-19
* Integration of theories/Ints into theories/Numbers, again : better generation...Gravatar letouzey2008-05-08
* Plongement de doc/Makefile dans la nouvelle architecutre des MakefileGravatar notin2008-02-14
* Amélioration de la génération des graphes de dépendancesGravatar notin2008-01-11
* Ajout option -lablgtkdir au configure (basé sur patch de GuillaumeGravatar herbelin2007-10-04
* Compilation sous windowsGravatar notin2007-10-03
* Fix a problem doing 'make clean' under WinodwsGravatar notin2007-10-02
* * Adding compability with ocaml 3.10 + camlp5 (rework of Gravatar letouzey2007-09-15
* Report 10087, 10089, 10090 de 8.1 vers trunk (compatibilité camlp5 et -recty...Gravatar herbelin2007-08-24
* New bootstrapping, improved, Makefile systemGravatar corbinea2007-07-13
* Ajout d'une option -annotate au configure+ changement du comportement par dé...Gravatar notin2006-10-11
* Compilation de Coq sous WindowsGravatar notin2006-09-14
* Suite ajout option -ocamlib à configureGravatar notin2006-09-01
* Modification du configure pour paramétrer les exécutables liés à la compi...Gravatar notin2006-08-30
* Compilation de Coq sous WindowsGravatar notin2006-08-29
* Changement de l'appel aux exécutables Caml (noms absolus)Gravatar notin2006-08-29
* Modifications dans les scripts de configuration (coqtop et coqide affichent m...Gravatar notin2006-07-28
* Ajout d'une option -with-geoproof à la configuration et à l'exécutionGravatar notin2006-06-09
* - intégration de la modification suggérée par L. Mamane: coqmktop passe ma...Gravatar notin2006-05-04
* suite de l'ajout des FSets/FMaps dans les theories standardsGravatar letouzey2006-04-29
* Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...Gravatar notin2006-04-28