| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
Added (defpgdefault script-indent t) to turn on indentation.
Added proof-script-command-start-regexp setting.
|
|
|
|
|
|
|
|
proof-terminal-char no longer appended to commands.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
for goals buffer
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
settings.
|
|
|
|
favourites.
|
|
|
|
|
|
|
|
|
|
|
|
function rather than mode (so can be turned on/off easily).
|
|
|
|
Proper toggler use for generic option x symbol enable.
|
|
Made proof-set-value work with generic settings as well as global ones,
hacking a name for a generic function.
|
|
Moved macros for generic custom settings to proof-utils.
Made proof-x-symbol-enable be generic (isa-x-symbol-enable, etc).
Ditto proof-script-indent.
Added proof-shell-pre-sync-init-cmd
Added PA-completion-table, PA-tags-program.
|
|
fixed conflict in plastic.el
|
