| Age | Commit message (Collapse) | Author |
|---|
|
|
|
pg-insert-output-as-comment.
|
|
proof-x-symbol-decode-region to return new END value after decoding.
|
|
proof-font-lock-clear-font-lock-vars. Fix final return value in fontify region.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
