aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/flags.mli
Commit message (Expand)AuthorAge
* Merge PR #6958: [lib] Move global options to their proper place.Gravatar Maxime Dénès2018-04-30
|\
* | Always print explanation for univ inconsistency, rm Flags.univ_printGravatar Gaëtan Gilbert2018-04-26
| * [lib] Move global options to their proper place.Gravatar Emilio Jesus Gallego Arias2018-04-02
|/
* Merge PR #6855: Update headers following #6543.Gravatar Maxime Dénès2018-03-05
|\
* | Remove 8.5 compatibility support.Gravatar Théo Zimmermann2018-03-02
* | Remove VOld compatibility flag.Gravatar Théo Zimmermann2018-03-02
| * Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
|/
* New IR in VM: Clambda.Gravatar Maxime Dénès2018-02-23
* [ide] Localize a IDE-specific flag.Gravatar Emilio Jesus Gallego Arias2018-02-15
* Merge PR #6405: Remove the local polymorphic flag hack.Gravatar Maxime Dénès2017-12-29
|\
| * Remove the local polymorphic flag hack.Gravatar Maxime Dénès2017-12-27
* | [flags] Move global time flag into an attribute.Gravatar Emilio Jesus Gallego Arias2017-12-23
|/
* 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
|/ / /