diff options
| author | David Aspinall | 2009-09-21 12:02:37 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-21 12:02:37 +0000 |
| commit | aeae558ba0ce6b60024382c458074a5778000a8d (patch) | |
| tree | 8913c89699c50c8f5349d481690362332758de9b /generic/proof-script.el | |
| parent | 6454e89d0f11f60623aeadce5a47f5782949ef51 (diff) | |
unicode-tokens-add-help-echo: add this customize option
unicode-tokens-display-table: use this (experimental) for alternative ellipsis glyph
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions