aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure
Commit message (Expand)AuthorAge
...
* Revert "Coqide now need lablgtk2.14.0" + Ide build system debuggingGravatar pboutill2011-06-14
* Coqide now need lablgtk2.14.0Gravatar pboutill2011-06-11
* Coqide Menubar integration in MacOSGravatar pboutill2011-06-10
* coqtop -config returns coq returns coq environments at exection timeGravatar pboutill2011-04-28
* Coqide: a special kill function for win32Gravatar letouzey2011-04-21
* Macos integration step2 : shutdownGravatar pboutill2011-04-08
* Fix compilation with camlp5 (Closes: #2487)Gravatar glondu2011-01-25
* MacOS integrationGravatar pboutill2011-01-07
* Remove fake alpha-specific case in configureGravatar glondu2011-01-06
* Support for GNU Make 3.82Gravatar glondu2010-10-16
* TeX input method is now supported upstreamGravatar vgross2010-10-07
* Added doc/refman/coqide.eps and coqide-queries.eps to remove the need for png...Gravatar emakarov2010-09-06
* Turned off Mac dynlink hack for 10.6.3+ on x86_64Gravatar thutchin2010-07-05
* Add (almost) compatibility with camlp4, without breaking support for camlp5Gravatar letouzey2010-05-19
* Discontinue support for ocaml 3.09.*Gravatar letouzey2010-05-19
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Look for csdp in $PATH at runtime, remove -csdpdir configure optionGravatar glondu2010-04-11
* Fix configure script: natdynlink works without a hack on 10.6.3.Gravatar msozeau2010-04-05
* Application des patches envoyés par F. Besson pour micromegaGravatar notin2010-03-08
* Enabled natdynlink hack on Mac OS 10.6Gravatar thutchin2010-02-25
* Polishing the setup of CoqIDE Input MethodGravatar vgross2010-02-18
* Remove bashismsGravatar glondu2010-01-28
* Add -makecmd configure optionGravatar glondu2010-01-26
* Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...Gravatar letouzey2009-12-09
* Changement de la version minimale requise de OCaml (3.07 => 3.09.3).Gravatar notin2009-11-05
* Correction du bug #2142Gravatar notin2009-11-05
* Applied patches from BSD/pkgsrc maintainer, so that Coq compiles out-of-the-box.Gravatar gmelquio2009-09-28
* 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
* Backport of Eric Le Lay's patch (bug report #2078) from v8.2 branchGravatar herbelin2009-04-08
* Ocamlbuild: option for (not) building coqide, better log messagesGravatar letouzey2009-04-03
* Ocamlbuild: improvements suggested by N. PouillardGravatar letouzey2009-04-03
* Backport from v8.2 branch of 11986 (interpretation of quantifiedGravatar herbelin2009-03-22
* Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...Gravatar letouzey2009-03-20
* - configure: affiche si le natdynlink est positionneGravatar barras2009-03-17
* Cleanup: remove unused config/giveostype.mlGravatar letouzey2009-03-11
* Cleanup: remove old correctness files, unused for a long timeGravatar letouzey2009-03-11
* Gestion des espaces dans les noms + guess_coqlib sous WindowsGravatar notin2009-02-11
* Fix d'un petit problème de chemin sous WindowsGravatar notin2009-02-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
* configure: more adequate message explaining what -opt is doingGravatar letouzey2009-01-22
* Fix d'un petit problème avec ocamlmklib en présence de l'option -camldirGravatar notin2009-01-22
* Updated datesGravatar herbelin2009-01-13
* Workaround to compile the coq archive with dynamic loading on Mac OS 10.5Gravatar herbelin2009-01-13
* - Deactivation of dynamic loading on Mac OS 10.5 (see bug #2024).Gravatar herbelin2009-01-11
* Another problem with blanks in filenamesGravatar herbelin2009-01-10
* - Fixed the recompilation of config/revision.ml once every two conmpilations.Gravatar herbelin2009-01-10
* Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...Gravatar notin2009-01-06