aboutsummaryrefslogtreecommitdiff
path: root/lib/flags.mli
AgeCommit message (Expand)Author
2018-05-21[ide] Remove special option `-ideslave`Emilio Jesus Gallego Arias
2018-04-30Merge PR #6958: [lib] Move global options to their proper place.Maxime Dénès
2018-04-26Always print explanation for univ inconsistency, rm Flags.univ_printGaëtan Gilbert
2018-04-02[lib] Move global options to their proper place.Emilio Jesus Gallego Arias
2018-03-05Merge PR #6855: Update headers following #6543.Maxime Dénès
2018-03-02Remove 8.5 compatibility support.Théo Zimmermann
2018-03-02Remove VOld compatibility flag.Théo Zimmermann
2018-02-27Update headers following #6543.Théo Zimmermann
2018-02-23New IR in VM: Clambda.Maxime Dénès
2018-02-15[ide] Localize a IDE-specific flag.Emilio Jesus Gallego Arias
2017-12-29Merge PR #6405: Remove the local polymorphic flag hack.Maxime Dénès
2017-12-27Remove the local polymorphic flag hack.Maxime Dénès
2017-12-23[flags] Move global time flag into an attribute.Emilio Jesus Gallego Arias
2017-12-14Merge PR #6264: [kernel] Patch allowing to disable VM reduction.Maxime Dénès
2017-12-14Merge PR #6169: Clean up/deprecated optionsMaxime Dénès
2017-12-14Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.Maxime Dénès
2017-12-11Remove deprecated option Tactic Compat Context.Théo Zimmermann
2017-12-11[flags] [stm] Reorganize flags.Emilio Jesus Gallego Arias
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-11-19[lib] Minor pending cleanup to consolidate helper function.Emilio Jesus Gallego Arias
2017-11-07[api] Remove 8.7 ML-deprecated functions.Emilio Jesus Gallego Arias
2017-10-11[stm] [toplevel] Move delicate state initialization to the STM (BZ#5556)Emilio Jesus Gallego Arias
2017-10-06[stm] [flags] Move document mode flags to the STM.Emilio Jesus Gallego Arias
2017-08-29Merge PR #773: [flags] Remove XML output flag.Maxime Dénès
2017-08-01[flags] Remove XML output flag.Emilio Jesus Gallego Arias
2017-07-31Change the option for cumulativityAmin Timany
2017-07-21Adding a V8.7 compatibility version number.Hugo Herbelin
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-06-16Fix bugs and add an option for cumulativityAmin Timany
2017-06-14Remove support for Coq 8.4.Guillaume Melquiond
2017-06-14Remove support for Coq 8.3.Guillaume Melquiond
2017-06-14Remove support for Coq 8.2.Guillaume Melquiond
2017-06-14Add a version to be used when parsing compatibility notations mentioning old ...Guillaume Melquiond
2017-06-01[emacs] [toplevel] Make emacs flag local to the toplevel.Emilio Jesus Gallego Arias
2017-05-18[stm] Tweak debug options.Emilio Jesus Gallego Arias
2017-04-21[flags] Deprecate is_silent/is_verbose in favor of single flag.Emilio Jesus Gallego Arias
2017-04-12[flags] Documentation and a minor tweak.Emilio Jesus Gallego Arias
2017-04-12[stm] Port the toplevel to the STM.Emilio Jesus Gallego Arias
2016-10-18Merge branch 'v8.6'Pierre-Marie Pédrot
2016-10-17[toplevel] Remove duplicate beautify flags.Emilio Jesus Gallego Arias
2016-10-02Merge branch 'v8.6'Pierre-Marie Pédrot
2016-09-29Fix bug #4798: compat notations should not modify the parser.Pierre-Marie Pédrot
2016-09-29-profile-ltac-cutoff alike Show Ltac Profile Cutoff (#5100)Enrico Tassi
2016-09-26Add a compatibility flag for 8.6 and refactor.Théo Zimmermann
2016-06-14Merge remote-tracking branch 'origin/pr/166' into trunkEnrico Tassi
2016-06-14Merge remote-tracking branch 'origin/pr/182' into trunkEnrico Tassi
2016-06-14Merge remote-tracking branch 'origin/pr/173' into trunkEnrico Tassi
2016-06-14Moving back Ltac profiling to the Ltac folder.Pierre-Marie Pédrot
2016-06-06STM: each proof block can be enabled separatelyEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 04:00:32 +0000