diff options
| author | David Aspinall | 2008-01-29 00:28:15 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-29 00:28:15 +0000 |
| commit | efa741ee0930791c1871dfbb08f79e91fcdd35e1 (patch) | |
| tree | 0c51e5bf70c72cbad0b75fdc3c9b6112c7d43bcc /generic/proof-script.el | |
| parent | df94039722f476d549a3c985f6c690092153ef6c (diff) | |
Add Unicode Tokens menu item; prevent (easily) selecting Unicode Tokens
and X-Symbols at the same time, which will surely lead to evil confusion.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions