| Age | Commit message (Collapse) | Author |
|---|
|
|
|
proof-shell-kill tear them down. Add proof-shell-fiddle-frames incase
this causes mass customer annoyance.
Also move point of specifier setting to after mode has been configured
for associated buffer; this makes settings persist better on XEmacs.
|
|
|
|
|
|
|
|
|
|
|
|
startup.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
