aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/flags.mli
Commit message (Expand)AuthorAge
* STM: each proof block can be enabled separatelyGravatar Enrico Tassi2016-06-06
* STM: proof block detection made optional + simple testGravatar Enrico Tassi2016-06-06
* 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
* Disable precompilation for native_compute by default.Gravatar Guillaume Melquiond2015-05-14
* Update headers.Gravatar Maxime Dénès2015-01-12
* rename: vi -> vioGravatar Enrico Tassi2015-01-06
* STM: rename and simplify flagsGravatar Enrico Tassi2014-12-17
* async_queries_* merged with async_proofs_*Gravatar Enrico Tassi2014-11-27
* Feedback: API cleaned up, documented and made user extensibleGravatar Enrico Tassi2014-11-27
* Reworking the -color flag of coqtop.Gravatar Pierre-Marie Pédrot2014-11-15
* STM: new worker for queriesGravatar Enrico Tassi2014-10-31
* Fix debug printing with primitive projections.Gravatar Matthieu Sozeau2014-09-18
* Undo prints only if coqtop || emacsGravatar Enrico Tassi2014-09-16
* Undo: if the ui is coqtop (command line) then Undo is not part of the doc.Gravatar Enrico Tassi2014-09-09
* Removing dead code relative to the XML plugin.Gravatar Pierre-Marie Pédrot2014-09-08
* coqworkmgrGravatar Enrico Tassi2014-09-02
* STM: new "par:" goal selector, like "all:" but in parallelGravatar Enrico Tassi2014-08-05
* STM: code restructured to reuse task queue for tacticsGravatar Enrico Tassi2014-08-05
* STM: let toploop plugins specify the flags for STM workersGravatar Enrico Tassi2014-07-11
* STM: flag to turn off branch reopeningGravatar Enrico Tassi2014-07-11
* Feedback: LoadedFile + GoalsGravatar Enrico Tassi2014-07-11
* option to always delegate futures to workersGravatar Enrico Tassi2014-07-10
* Deprecate useless option -quality.Gravatar Guillaume Melquiond2014-06-13
* Deprecate useless option -unsafe.Gravatar Guillaume Melquiond2014-06-13
* Deprecate options -dont, -lazy, -force-load-proofs.Gravatar Guillaume Melquiond2014-06-13
* Compute the trace of a universe inconsistency only when explicitly requiredGravatar Pierre-Marie Pédrot2014-06-10
* This commit adds full universe polymorphism and fast projections to Coq.Gravatar Matthieu Sozeau2014-05-06
* Change handling of loadpath and mlpath.Gravatar Guillaume Melquiond2014-04-06
* New compilation mode -vi2voGravatar Enrico Tassi2014-02-26
* CoqIDE: command line for extra coqtop "flags"Gravatar Enrico Tassi2014-01-26
* Paral-ITP: cleanup of command line flags and more conservative defaultGravatar Enrico Tassi2014-01-05
* .vi files: .vo files without proofsGravatar Enrico Tassi2014-01-04
* Fix CoqIDE on windowsGravatar Enrico Tassi2013-12-10
* STM: add options to disable fallbacks to ease regression testingGravatar gareuselesinge2013-10-03
* STM: number of slaves passed by the command lineGravatar gareuselesinge2013-10-03
* stm: (initial) support for -coq-slavesGravatar gareuselesinge2013-08-08
* Simple machinery to detect EXTEND that interpret during parsingGravatar gareuselesinge2013-08-08
* Coqide ported to STMGravatar gareuselesinge2013-08-08
* State Transaction MachineGravatar gareuselesinge2013-08-08
* Added more flags choice in desambiguating printer. The code isGravatar ppedrot2013-08-06
* Flags V8_4 for compatibility infrastructure.Gravatar herbelin2013-06-02