| Commit message (Collapse) | Author | Age |
... | |
| |
|
| |
|
|
|
|
| |
even on terminals.
|
| |
|
|
|
|
| |
on buffer context.
|
| |
|
| |
|
|
|
|
| |
cannot be stopped, sadly)
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
proof-trace-output-slow-catchup
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
menu in place of output highlight setting.
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
(XEmacs prob)
|