diff options
| author | David Aspinall | 2009-09-20 21:43:31 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-20 21:43:31 +0000 |
| commit | 342d06d05590372ccfecd1076e207ba95b058141 (patch) | |
| tree | f1429ed1eb6e618ce2cf66859390a2bbbb107abb /generic/proof-script.el | |
| parent | 9ec336e85971edb8890a6ff03aa5efba6c17a635 (diff) | |
proof-unicode-tokens-enable: autoload so turning on Unicode tokens works
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions