| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
Move architecture flags to proof-compat
|
|
|
|
|
|
|
|
|
|
Protect x-symbol-shell-config against failure of the init-cmd.
|
|
|
|
Add x-symbol-version to bug report variables.
|
|
|
|
|
|
|
|
|
|
|
|
Isabelle/Isar
|
|
|
|
setting.
|
|
|
|
|
|
|
|
|
|
|
|
buffer switched.
|
|
\\s-*$ was matching newlines greedily). Normalize whitespace when
inserting new comments. Allow prefix-arg to texi-docstring-magic
when running interactively, to forgive undefined symbols (handy for
cleaning buffers of @def's).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
to support multiple files in Coq.
Move some keybindings to proof-universal-keys (esp. C-c C-l).
|
|
|
|
|
|
longer inherited
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
frames only to delete them.
|
|
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.
|
|
|
