| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
of proof-activate-scripting.
|
|
|
|
proof-definvisible.
|
|
|
|
for Isabelle.
|
|
for Isabelle.
|
|
|
|
|
|
compatibility.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
