| Age | Commit message (Collapse) | Author |
|---|
|
|
|
proof-shell-truncate-before-error setting.
|
|
|
|
spill-output style tracing code.
|
|
|
|
prover if set.
|
|
|
|
|
|
Kill trace buffer with other associated buffers, and set specifiers similarly for multiple frames.
|
|
|
|
|
|
proof-shell-spill-output-begin: reuse existing buffer;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Goals display convention, not hack.
|
|
|
|
|
|
|
|
|
|
proof-shell-last-output-kind and friends
|
|
|
|
|
|
Unify goals and response menus with script buffer menu
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
proof-shell-invisible-command: add terminator if it seems to be
missing (after all: it's useful for users with C-c C-v).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
