| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
their own copy of this file);
|
|
|
|
|
|
|
|
|
|
|
|
Added 'controlspan property to proof body spans: action will be
controlled from the control span. (The 'goalsave is the parent).
Replace 'highlight face with 'proof-mouse-highlight-face throughout.
|
|
|
|
|
|
dependency faces.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ISABELLE_HOME/etc/isar-keywords.el if available;
|
|
|
|
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.
|
|
|
|
|
|
this variable more trustable with (concat coq-prog-name "-v").
|
|
|
|
|
