aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/flags.ml
Commit message (Expand)AuthorAge
* 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
* Add a Set Dump Bytecode command for debugging purposes.Gravatar Maxime Dénès2015-06-23
* Flag -test-mode intended to be used for ad-hoc prints in test-suiteGravatar Enrico Tassi2015-05-29
* Adding an option -w to control Coq warning output.Gravatar Pierre-Marie Pédrot2015-05-14
* 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
* Getting rid of Exninfo hacks.Gravatar Pierre-Marie Pédrot2014-12-16
* 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
* Goal printing made uniform: always done in STM (close 3585)Gravatar Enrico Tassi2014-10-22
* 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
* Remove some dead-code (thanks to ocaml warnings)Gravatar Pierre Letouzey2014-03-05
* 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
* Removing some generic equalities.Gravatar ppedrot2013-10-22
* 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
* Misc changes around coqtop.ml :Gravatar letouzey2013-08-22
* 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
* Setting "appcontext" as the default behaviour in Ltac matching.Gravatar ppedrot2013-05-28
* Now printing body of abbreviations (i.e. notation with a name) withGravatar herbelin2013-05-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-27 18:33:29 +0000