aboutsummaryrefslogtreecommitdiff
path: root/lib/flags.ml
AgeCommit message (Expand)Author
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-24Merge branch 'v8.6'Pierre-Marie Pédrot
2016-10-19Error Resiliency: more conservative default (only curly braces)Enrico Tassi
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-29Set the default LtacProf cutoff to 2%Jason Gross
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-28FIX: a bug in the pattern matchingMatej Kosik
2016-09-28Add a compatibility flag for 8.6 and refactor.Théo Zimmermann
2016-06-29A new infrastructure for warnings.Maxime Dénès
2016-06-14Merge remote-tracking branch 'origin/pr/166' into trunkEnrico Tassi
2016-06-14-async-proofs-delegation-threshold default value set to 0.03Enrico 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-07DocumentationEnrico Tassi
2016-06-06STM: each proof block can be enabled separatelyEnrico Tassi
2016-06-06STM: proof block detection made optional + simple testEnrico Tassi
2016-05-31STM delegation policy can be customizedEnrico Tassi
2016-05-19coqc: support -o option to specify output file nameEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 15:46:59 +0000