| Age | Commit message (Collapse) | Author |
|---|
|
|
|
commented out
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
completion for x-symbol tokens.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
