| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
proof-shell-spill-output-begin: reuse existing buffer;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
to control spans.
|
|
|
|
|
|
|
|
flag set
|
|
|
|
|
|
|
|
|
|
Use new functions pg-set-span-helphighlights and pg-span-name
to set help echo, balloon help, mouse highlight, and context
menu.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
