| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
prompts, but produces spurious output with Isabelle.
|
|
|
|
|
|
|
|
|
|
|
|
proof-shell-last-output)
|
|
|
|
plus cosmetics.
|
|
|
|
|
|
|
|
|
|
dependencies
|
|
|
|
|
|
|
|
|
|
|
|
|
|
proof-script-comment-{start,end}-regexp.
|
|
|
|
|
|
display.
|
|
|
|
|
|
|
|
rather than always retracting.
|
|
|
|
|
|
|
|
|
|
proof-done-advancing.
|
|
|
|
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;
|
|
|
|
|
