| Age | Commit message (Collapse) | Author |
|---|
|
|
|
added proof-no-regexp;
|
|
function.
Bind C-c C-l to proof-display-some-buffers, add to buffer menu.
Move start/exit to proof assistant specific menu.
Added proof-next-error to menu.
|
|
|
|
Added proof-shell-next-error-regexp and friends.
Bind proof-shell-next-error in proof-universal-keys.
|
|
proof-shell-invisible-command: add terminator if it seems to be
missing (after all: it's useful for users with C-c C-v).
|
|
|
|
|
|
|
|
|
|
prefix and comment/string (e.g. { vs {* in Isar);
|
|
|
|
|
|
|
|
|
|
|
|
if already set.
|
|
|
|
Select new parsing function according to config variables
Use proof-comment-{start,end}-regexp, and set default values
in proof-config-done-related, from proof-comment-{start,end}
New proof-script-complete which uses proof-case-fold-search
|
|
|
|
|
|
|
|
Mention proof-script-complete in docstring for proof-case-fold-search.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
proof-terminal-char no longer appended to commands.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
settings.
|
|
|
|
favourites.
|
|
|
|
|
|
|
|
function rather than mode (so can be turned on/off easily).
|
