aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/flags.mli
Commit message (Expand)AuthorAge
* Restore warnings produced by the interpretation of the command lineGravatar Hugo Herbelin2016-01-22
* 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
* 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
* 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
* Flag ide_slave moved into Flags moduleGravatar gareuselesinge2013-04-25
* Remove deprecated option -no-hash-consing (currently doing nothing)Gravatar letouzey2013-04-23
* More functional implementation of locality_flag and program_modeGravatar gareuselesinge2013-04-15
* New implementation of the conversion test, using normalization by evaluation toGravatar mdenes2013-01-22
* Updating headers.Gravatar herbelin2012-08-08