aboutsummaryrefslogtreecommitdiffhomepage
path: root/config
Commit message (Expand)AuthorAge
* [API] remove large file containing duplicate interfacesGravatar Enrico Tassi2017-12-27
* Merge PR #6264: [kernel] Patch allowing to disable VM reduction.Gravatar Maxime Dénès2017-12-14
|\
* | [build] Remove coqmktop in favor of ocamlfind.Gravatar Emilio Jesus Gallego Arias2017-12-10
| * [kernel] Patch allowing to disable VM reduction.Gravatar Emilio Jesus Gallego Arias2017-12-02
|/
* Remove GeoProof support.Gravatar Maxime Dénès2017-10-11
* [flambda] [native] Pass `-Oclassic` to the native compiler.Gravatar Emilio Jesus Gallego Arias2017-10-10
* [configure] Support for flambda flags.Gravatar Emilio Jesus Gallego Arias2017-10-10
* coq_makefile: make sure compile flags for Coq and coq_makefile are in syncGravatar Emilio Jesus Gallego Arias2017-09-19
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Add support for "-bypass-API" argument of "coq_makefile"Gravatar Matej Košík2017-06-12
* Exporting the suffixes needed to build coqlib, docdir, etc.Gravatar Hugo Herbelin2017-05-29
* Using Coq_config.local rather than None to tell that Coq_config.coqlib is local.Gravatar Hugo Herbelin2017-05-29
* Configuration: always giving a value to configdir and datadir.Gravatar Hugo Herbelin2017-05-29
* Fix some documentation typos.Gravatar Guillaume Melquiond2016-11-24
* fix bug 3683 : adds references to the web site for the bug trackerGravatar Yves Bertot2016-09-29
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | All invocations to ocaml compilers go through ocamlfindGravatar Pierre Boutillier2015-06-22
|/
* Update headers.Gravatar Maxime Dénès2015-01-12
* Coqmktop without Sys.command, changes in ./configure -*byteflags optionsGravatar Pierre Letouzey2014-01-30
* Misc changes around coqtop.ml :Gravatar letouzey2013-08-22
* New -no-native-compiler flag for configure, globally disabling the nativeGravatar mdenes2013-02-24
* Repair the configure after Hugo's last "repair" ;-)Gravatar letouzey2012-10-05
* Updating headers.Gravatar herbelin2012-08-08
* configure: add support of MinGW Win32 environment (fix #2526)Gravatar letouzey2012-05-23
* Tentative and very experminental support for typerex. Enabled withGravatar aspiwack2012-05-11
* ./configure & freedesktopGravatar pboutill2011-12-18
* coqide default pref files are by default in /etc/xdg/coq/Gravatar pboutill2011-11-21
* In Coq_config: get rid of coqsrc and make coqlib optionalGravatar glondu2011-09-27
* Revert "Coqide now need lablgtk2.14.0" + Ide build system debuggingGravatar pboutill2011-06-14
* 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 integrationGravatar pboutill2011-01-07
* TeX input method is now supported upstreamGravatar vgross2010-10-07
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* 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