diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-22 17:37:15 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-22 17:37:15 +0000 |
| commit | 5cc57e417ff9887f223f696eb3b069f9bedb8be0 (patch) | |
| tree | cb1bc00e7090b4242257094897daa7ee1dfca660 /.cvsignore | |
| parent | d60b01b3a2b5ce894fffe69ff892bab71ad23c2f (diff) | |
Extend <var>-mode-hook for extra modes to call proof-x-symbol-mode.
Diffstat (limited to '.cvsignore')
0 files changed, 0 insertions, 0 deletions