diff options
| author | David Aspinall | 2009-09-15 08:18:34 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-15 08:18:34 +0000 |
| commit | 4412031fbd8b3f4390a2b5e22a0be8cde8f706b9 (patch) | |
| tree | cb0f5e763c3b1d23e37c339834cb2ece8eba7b77 /generic/proof-script.el | |
| parent | 082fa78342c644e5caa0987312b4b23377ab0fcd (diff) | |
Fix highlighting of error region
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions