| Age | Commit message (Collapse) | Author |
|---|
|
Fixes trac report #138: processing comments alone leads to spurious read-only region.
|
|
|
|
|
|
|
|
prog-args shown. It was confusing for users not to see what arguments
was given to the prover.
|
|
[me: XEmacs 21.4.19 on FC5]
|
|
available on non-Mule compiles
|
|
allows using a span attribute to detect goal commands.
I think I modified all modes accordingly.
|
|
behaviour in at least one Emacs version, causing PG to hang.
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
