aboutsummaryrefslogtreecommitdiff
path: root/config
AgeCommit message (Expand)Author
2016-11-24Fix some documentation typos.Guillaume Melquiond
2016-09-29fix bug 3683 : adds references to the web site for the bug trackerYves Bertot
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-06-22All invocations to ocaml compilers go through ocamlfindPierre Boutillier
2015-01-12Update headers.Maxime Dénès
2014-01-30Coqmktop without Sys.command, changes in ./configure -*byteflags optionsPierre Letouzey
2013-08-22Misc changes around coqtop.ml :letouzey
2013-02-24New -no-native-compiler flag for configure, globally disabling the nativemdenes
2012-10-05Repair the configure after Hugo's last "repair" ;-)letouzey
2012-08-08Updating headers.herbelin
2012-05-23configure: add support of MinGW Win32 environment (fix #2526)letouzey
2012-05-11Tentative and very experminental support for typerex. Enabled withaspiwack
2011-12-18./configure & freedesktoppboutill
2011-11-21coqide default pref files are by default in /etc/xdg/coq/pboutill
2011-09-27In Coq_config: get rid of coqsrc and make coqlib optionalglondu
2011-06-14Revert "Coqide now need lablgtk2.14.0" + Ide build system debuggingpboutill
2011-06-10Coqide Menubar integration in MacOSpboutill
2011-04-28coqtop -config returns coq returns coq environments at exection timepboutill
2011-04-21Coqide: a special kill function for win32letouzey
2011-01-07MacOS integrationpboutill
2010-10-07TeX input method is now supported upstreamvgross
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-05-19Add (almost) compatibility with camlp4, without breaking support for camlp5letouzey
2010-04-29"make source-doc" builds documentation of mli in html and pdf atpboutill
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-04-11Look for csdp in $PATH at runtime, remove -csdpdir configure optionglondu
2010-03-08Application des patches envoyés par F. Besson pour micromeganotin
2010-02-18Polishing the setup of CoqIDE Input Methodvgross
2009-12-09Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...letouzey
2009-08-14Added profile.cmo in grammar.cma so that any functions in one of theherbelin
2009-08-14Tried to make F1 documentation tool working in CoqIDE.herbelin
2009-04-24Report de la révision #12104 (Maj lien site web de Coq)notin
2009-04-03Ocamlbuild: option for (not) building coqide, better log messagesletouzey
2009-04-03Ocamlbuild: improvements suggested by N. Pouillardletouzey
2009-03-20Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...letouzey
2009-03-11Cleanup: remove unused config/giveostype.mlletouzey
2009-02-11Fix de divers petits problèmes d'installationnotin
2009-02-11Report des revisions #11826, #11828 et #11829 de v8.2 vers trunknotin
2009-02-11Add -coqtoolsbyteflags and -custom to ./configure...glondu
2009-01-06Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...notin
2009-01-06Report de la révision 11754 (compilation sous windows)notin
2008-12-19Nettoyage des variables Coq et amélioration de coqmktop. Lesnotin
2008-11-02Fix CAMLHLIB (due to r11358) (Closes: #1986)glondu
2008-10-28Native "Declare ML Module" when possibleglondu
2008-09-06Install dllcoqrun.so and use it by defaultglondu
2008-09-06$(COQLIB) -> $(COQLIBINSTALL) in Makefilesglondu
2008-09-05Parametrize link flags for VM-dependent bytecodeglondu
2008-09-05Build coqrun library using ocamlmklib...glondu
2008-07-27Add -browser option to configure scriptglondu
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:22:23 +0000