| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
proofbodyspan;
handle proof-script-integral-proofs;
|
|
goal confines the actual proof.");
|
|
|
|
|
|
x-symbol-autoloads.
|
|
PA settings.
|
|
|
|
on empty string). Fix bug in add-proof-element for disappearing proofs setting. Add setting of proof-previous-script-buffer when scripting deactivated
|
|
|
|
before inserting as comment.
|
|
|
|
|
|
|
|
|
|
started.
|
|
|
|
|
|
- remove visibility specs and script portion records during undo
- clear visibility specs on restart
|
|
|
|
minibuffer windows buffer.
|
|
|
|
|
|
|
|
'goalsave again. Add idiom property.
|
|
|
|
suggested by Markus
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
so that enablers work at least as well as they did before...
|
|
|
|
|
|
|
|
|
|
|
|
Goals display convention, not hack.
|
|
|
|
|
|
|
|
|
|
|
|
|
