diff options
| author | David Aspinall | 2001-08-31 19:52:48 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-31 19:52:48 +0000 |
| commit | 01b292b0f6d15e2d2991bdb90afd09a748bab4a6 (patch) | |
| tree | 648ebca874faf29c3d99ef72a46e973ec799fa2d /FAQ | |
| parent | 6fb8b5d62a44488fd7b2085c7a609654f84600b5 (diff) | |
Move theorem dependency code into proof-depends.el.
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.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions