| Age | Commit message (Collapse) | Author |
|---|
|
now enabled by default;
|
|
and some more on keystrokes, for the Emacs-impoverished users.
Added doc of proof-display-some-buffers
|
|
Added proof-segment-up-to-{cmdstart,cmdend} and details of
which is selected.
Updated magic.
|
|
|
|
|
|
|
|
|
|
Doc new PA-<name> mechanism.
Doc for completion.
Doc for proof-shell-pre-sync-init-cmd.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
proof-shell-filename-escapes, and always apply for filename substn.
|
|
|
|
|
|
|
|
|
|
release.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Variable, just after Isabelle ProofGeneral. Surely not the good place,
should be in some section called "tricks".
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
