| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
chapter.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Added notes about find theorems trick of separating constants by comma
for Isabelle. Made for version 99-1.
Improved documentation for urgent messages, including recent
additions. Mentioned new high-level macros proof-defshortcut,
proof-definvisible.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
