aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/flags.mli
Commit message (Expand)AuthorAge
* Merge PR #6264: [kernel] Patch allowing to disable VM reduction.Gravatar Maxime Dénès2017-12-14
|\
* \ Merge PR #6169: Clean up/deprecated optionsGravatar Maxime Dénès2017-12-14
|\ \
* \ \ Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.Gravatar Maxime Dénès2017-12-14
|\ \ \
| | * | Remove deprecated option Tactic Compat Context.Gravatar Théo Zimmermann2017-12-11
* | | | [flags] [stm] Reorganize flags.Gravatar Emilio Jesus Gallego Arias2017-12-11
| |/ / |/| |
| * | [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
|/
* [lib] Minor pending cleanup to consolidate helper function.Gravatar Emilio Jesus Gallego Arias2017-11-19
* [api] Remove 8.7 ML-deprecated functions.Gravatar Emilio Jesus Gallego Arias2017-11-07
* [stm] [toplevel] Move delicate state initialization to the STM (BZ#5556)Gravatar Emilio Jesus Gallego Arias2017-10-11
* [stm] [flags] Move document mode flags to the STM.Gravatar Emilio Jesus Gallego Arias2017-10-06
* Merge PR #773: [flags] Remove XML output flag.Gravatar Maxime Dénès2017-08-29
|\
| * [flags] Remove XML output flag.Gravatar Emilio Jesus Gallego Arias2017-08-01
* | Change the option for cumulativityGravatar Amin Timany2017-07-31
|/
* Adding a V8.7 compatibility version number.Gravatar Hugo Herbelin2017-07-21
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Fix bugs and add an option for cumulativityGravatar Amin Timany2017-06-16
* Remove support for Coq 8.4.Gravatar Guillaume Melquiond2017-06-14
* Remove support for Coq 8.3.Gravatar Guillaume Melquiond2017-06-14
* Remove support for Coq 8.2.Gravatar Guillaume Melquiond2017-06-14
* Add a version to be used when parsing compatibility notations mentioning old ...Gravatar Guillaume Melquiond2017-06-14
* [emacs] [toplevel] Make emacs flag local to the toplevel.Gravatar Emilio Jesus Gallego Arias2017-06-01
* [stm] Tweak debug options.Gravatar Emilio Jesus Gallego Arias2017-05-18
* [flags] Deprecate is_silent/is_verbose in favor of single flag.Gravatar Emilio Jesus Gallego Arias2017-04-21
* [flags] Documentation and a minor tweak.Gravatar Emilio Jesus Gallego Arias2017-04-12
* [stm] Port the toplevel to the STM.Gravatar Emilio Jesus Gallego Arias2017-04-12
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-18
|\
| * [toplevel] Remove duplicate beautify flags.Gravatar Emilio Jesus Gallego Arias2016-10-17
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-02
|\|
| * Fix bug #4798: compat notations should not modify the parser.Gravatar Pierre-Marie Pédrot2016-09-29
| * -profile-ltac-cutoff alike Show Ltac Profile Cutoff (#5100)Gravatar Enrico Tassi2016-09-29
* | Add a compatibility flag for 8.6 and refactor.Gravatar Théo Zimmermann2016-09-26
|/
* Merge remote-tracking branch 'origin/pr/166' into trunkGravatar Enrico Tassi2016-06-14
|\
* \ Merge remote-tracking branch 'origin/pr/182' into trunkGravatar Enrico Tassi2016-06-14
|\ \
* \ \ Merge remote-tracking branch 'origin/pr/173' into trunkGravatar Enrico Tassi2016-06-14
|\ \ \
* | | | Moving back Ltac profiling to the Ltac folder.Gravatar Pierre-Marie Pédrot2016-06-14
| * | | STM: each proof block can be enabled separatelyGravatar Enrico Tassi2016-06-06
| * | | STM: proof block detection made optional + simple testGravatar Enrico Tassi2016-06-06
|/ / /
| * / STM delegation policy can be customizedGravatar Enrico Tassi2016-05-31
|/ /
| * coqc: support -o option to specify output file nameGravatar Enrico Tassi2016-05-19
|/
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-29
|\
| * Restore warnings produced by the interpretation of the command lineGravatar Hugo Herbelin2016-01-22
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\|
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
| * Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti Coen.Gravatar Maxime Dénès2016-01-15
* | Adding compatibility flag for 8.5.Gravatar Hugo Herbelin2015-12-14
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-06-24
|\|
| * Add a Set Dump Bytecode command for debugging purposes.Gravatar Maxime Dénès2015-06-23
* | All invocations to ocaml compilers go through ocamlfindGravatar Pierre Boutillier2015-06-22
|/
* Flag -test-mode intended to be used for ad-hoc prints in test-suiteGravatar Enrico Tassi2015-05-29