diff options
| author | David Aspinall | 2004-08-10 11:56:19 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-08-10 11:56:19 +0000 |
| commit | e82b526df20a7b651fd219ab2ac534c4bfbba5f7 (patch) | |
| tree | f61f93753662a32cd778afbf284644aa6d75235a /generic/proof-utils.el | |
| parent | 705c9ee7591f3ef37117560417d8c7a55e1b257d (diff) | |
Change syntax table for \ from word constituent to escape character.
Add output-font-lock-keywords for tvars and vars without ?'s
(probably redundant without low-level output mode change: pending).
Diffstat (limited to 'generic/proof-utils.el')
0 files changed, 0 insertions, 0 deletions