index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
flags.mli
Commit message (
Expand
)
Author
Age
*
Merge PR #773: [flags] Remove XML output flag.
Maxime Dénès
2017-08-29
|
\
|
*
[flags] Remove XML output flag.
Emilio Jesus Gallego Arias
2017-08-01
*
|
Change the option for cumulativity
Amin Timany
2017-07-31
|
/
*
Adding a V8.7 compatibility version number.
Hugo Herbelin
2017-07-21
*
Bump year in headers.
Pierre-Marie Pédrot
2017-07-04
*
Fix bugs and add an option for cumulativity
Amin Timany
2017-06-16
*
Remove support for Coq 8.4.
Guillaume Melquiond
2017-06-14
*
Remove support for Coq 8.3.
Guillaume Melquiond
2017-06-14
*
Remove support for Coq 8.2.
Guillaume Melquiond
2017-06-14
*
Add a version to be used when parsing compatibility notations mentioning old ...
Guillaume Melquiond
2017-06-14
*
[emacs] [toplevel] Make emacs flag local to the toplevel.
Emilio Jesus Gallego Arias
2017-06-01
*
[stm] Tweak debug options.
Emilio Jesus Gallego Arias
2017-05-18
*
[flags] Deprecate is_silent/is_verbose in favor of single flag.
Emilio Jesus Gallego Arias
2017-04-21
*
[flags] Documentation and a minor tweak.
Emilio Jesus Gallego Arias
2017-04-12
*
[stm] Port the toplevel to the STM.
Emilio Jesus Gallego Arias
2017-04-12
*
Merge branch 'v8.6'
Pierre-Marie Pédrot
2016-10-18
|
\
|
*
[toplevel] Remove duplicate beautify flags.
Emilio Jesus Gallego Arias
2016-10-17
*
|
Merge branch 'v8.6'
Pierre-Marie Pédrot
2016-10-02
|
\
|
|
*
Fix bug #4798: compat notations should not modify the parser.
Pierre-Marie Pédrot
2016-09-29
|
*
-profile-ltac-cutoff alike Show Ltac Profile Cutoff (#5100)
Enrico Tassi
2016-09-29
*
|
Add a compatibility flag for 8.6 and refactor.
Théo Zimmermann
2016-09-26
|
/
*
Merge remote-tracking branch 'origin/pr/166' into trunk
Enrico Tassi
2016-06-14
|
\
*
\
Merge remote-tracking branch 'origin/pr/182' into trunk
Enrico Tassi
2016-06-14
|
\
\
*
\
\
Merge remote-tracking branch 'origin/pr/173' into trunk
Enrico Tassi
2016-06-14
|
\
\
\
*
|
|
|
Moving back Ltac profiling to the Ltac folder.
Pierre-Marie Pédrot
2016-06-14
|
*
|
|
STM: each proof block can be enabled separately
Enrico Tassi
2016-06-06
|
*
|
|
STM: proof block detection made optional + simple test
Enrico Tassi
2016-06-06
|
/
/
/
|
*
/
STM delegation policy can be customized
Enrico Tassi
2016-05-31
|
/
/
|
*
coqc: support -o option to specify output file name
Enrico Tassi
2016-05-19
|
/
*
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-01-29
|
\
|
*
Restore warnings produced by the interpretation of the command line
Hugo Herbelin
2016-01-22
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-01-21
|
\
|
|
*
Update copyright headers.
Maxime Dénès
2016-01-20
|
*
Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti Coen.
Maxime Dénès
2016-01-15
*
|
Adding compatibility flag for 8.5.
Hugo Herbelin
2015-12-14
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-06-24
|
\
|
|
*
Add a Set Dump Bytecode command for debugging purposes.
Maxime Dénès
2015-06-23
*
|
All invocations to ocaml compilers go through ocamlfind
Pierre Boutillier
2015-06-22
|
/
*
Flag -test-mode intended to be used for ad-hoc prints in test-suite
Enrico Tassi
2015-05-29
*
Disable precompilation for native_compute by default.
Guillaume Melquiond
2015-05-14
*
Update headers.
Maxime Dénès
2015-01-12
*
rename: vi -> vio
Enrico Tassi
2015-01-06
*
STM: rename and simplify flags
Enrico Tassi
2014-12-17
*
async_queries_* merged with async_proofs_*
Enrico Tassi
2014-11-27
*
Feedback: API cleaned up, documented and made user extensible
Enrico Tassi
2014-11-27
*
Reworking the -color flag of coqtop.
Pierre-Marie Pédrot
2014-11-15
*
STM: new worker for queries
Enrico Tassi
2014-10-31
*
Fix debug printing with primitive projections.
Matthieu Sozeau
2014-09-18
*
Undo prints only if coqtop || emacs
Enrico Tassi
2014-09-16
*
Undo: if the ui is coqtop (command line) then Undo is not part of the doc.
Enrico Tassi
2014-09-09
[next]