index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
flags.ml
Commit message (
Expand
)
Author
Age
*
Merge PR #6169: Clean up/deprecated options
Maxime Dénès
2017-12-14
|
\
*
\
Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.
Maxime Dénès
2017-12-14
|
\
\
|
|
*
Remove deprecated option Tactic Compat Context.
Théo Zimmermann
2017-12-11
*
|
|
[flags] [stm] Reorganize flags.
Emilio Jesus Gallego Arias
2017-12-11
|
|
/
|
/
|
|
*
[build] Remove coqmktop in favor of ocamlfind.
Emilio Jesus Gallego Arias
2017-12-10
|
/
*
[lib] Minor pending cleanup to consolidate helper function.
Emilio Jesus Gallego Arias
2017-11-19
*
[api] Remove 8.7 ML-deprecated functions.
Emilio Jesus Gallego Arias
2017-11-07
*
[stm] [toplevel] Move delicate state initialization to the STM (BZ#5556)
Emilio Jesus Gallego Arias
2017-10-11
*
[stm] [flags] Move document mode flags to the STM.
Emilio Jesus Gallego Arias
2017-10-06
*
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-24
|
\
|
*
Error Resiliency: more conservative default (only curly braces)
Enrico Tassi
2016-10-19
*
|
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
|
\
|
|
*
Set the default LtacProf cutoff to 2%
Jason Gross
2016-09-29
|
*
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
*
|
FIX: a bug in the pattern matching
Matej Kosik
2016-09-28
*
|
Add a compatibility flag for 8.6 and refactor.
Théo Zimmermann
2016-09-28
|
/
*
A new infrastructure for warnings.
Maxime Dénès
2016-06-29
*
Merge remote-tracking branch 'origin/pr/166' into trunk
Enrico Tassi
2016-06-14
|
\
*
|
-async-proofs-delegation-threshold default value set to 0.03
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
|
*
|
|
Documentation
Enrico Tassi
2016-06-07
|
*
|
|
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-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
|
\
|
[next]