| Age | Commit message (Collapse) | Author |
|---|
|
|
|
proof-shell-invisible-cmd-get-result, we will fix this better with
David soon (use of the noerror arg).
|
|
Had to correct a bug in proof-shell.
|
|
|
|
|
|
|
|
pg-assoc-strip-subterm-markup;
|
|
|
|
|
|
|
|
Protect x-symbol-shell-config against failure of the init-cmd.
|
|
|
|
|
|
setting.
|
|
|
|
|
|
|
|
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
|
|
|
