aboutsummaryrefslogtreecommitdiff
path: root/config/coq_config.mli
AgeCommit message (Expand)Author
2021-02-16Get rid of the compilation date from the binaries to make them more stable.Guillaume Melquiond
2020-11-20Configure default value of -native-compilerPierre Roux
2020-04-26Implement a name-based representation for vo files.Pierre-Marie Pédrot
2020-03-18Update headers in the whole code base.Théo Zimmermann
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2018-11-21[camlp5] Remove dependency on camlp5.Emilio Jesus Gallego Arias
2018-10-01[config] Remove unused ML variables.Emilio Jesus Gallego Arias
2018-02-27Update headers following #6543.Théo Zimmermann
2018-02-17Change references to CAMLP4 to CAMLP5 to be more accurate since we noJim Fehrle
2017-12-27[API] remove large file containing duplicate interfacesEnrico Tassi
2017-12-14Merge PR #6264: [kernel] Patch allowing to disable VM reduction.Maxime Dénès
2017-12-10[build] Remove coqmktop in favor of ocamlfind.Emilio Jesus Gallego Arias
2017-12-02[kernel] Patch allowing to disable VM reduction.Emilio Jesus Gallego Arias
2017-10-11Remove GeoProof support.Maxime Dénès
2017-10-10[flambda] [native] Pass `-Oclassic` to the native compiler.Emilio Jesus Gallego Arias
2017-10-10[configure] Support for flambda flags.Emilio Jesus Gallego Arias
2017-09-19coq_makefile: make sure compile flags for Coq and coq_makefile are in syncEmilio Jesus Gallego Arias
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-06-12Add support for "-bypass-API" argument of "coq_makefile"Matej Košík
2017-05-29Exporting the suffixes needed to build coqlib, docdir, etc.Hugo Herbelin
2017-05-29Using Coq_config.local rather than None to tell that Coq_config.coqlib is local.Hugo Herbelin
2017-05-29Configuration: always giving a value to configdir and datadir.Hugo Herbelin
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
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-04-28coqtop -config returns coq returns coq environments at exection timepboutill
2010-07-24Updated all headers for 8.3 and trunkherbelin
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
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-02-11Fix de divers petits problèmes d'installationnotin
2009-02-11Report des revisions #11826, #11828 et #11829 de v8.2 vers trunknotin
2009-01-06Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...notin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:06:48 +0000