| Age | Commit message (Collapse) | Author |
|---|
|
namespaces fixes.
pre-shell-start-hook: remove this, use default names for modes
proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
|
|
|
|
legacy case. Use proof-shell-unicode to control whether bytes 128-255 are stripped from output.
|
|
|
|
shell buffer. Supports copy-and-paste, fixing trac #112.
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
