| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
fixed proof-shell-pre-interrupt-hook: use isabelle-verbatim;
|
|
added isar-strip-terminators;
|
|
|
|
fixed output syntax table;
|
|
|
|
prefix and comment/string (e.g. { vs {* in Isar);
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Added proof-segment-up-to-{cmdstart,cmdend} and details of
which is selected.
Updated magic.
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
