diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 19:02:23 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 19:02:23 +0000 |
| commit | fa6f580cb8de7b01eb686d88c1b67ced5408e5a5 (patch) | |
| tree | c9f9258ac199227cf0b345dfba055091ef70d268 | |
| parent | 96e9775641ec9756e45dbd426188107d05c92172 (diff) | |
Fix defcustom types
| -rw-r--r-- | isar/isar-unicode-tokens.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el index 00c3c064..413c1d0d 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -496,14 +496,14 @@ Each element is a list (TOKNAME COMPOSITION FONTSYMB ...) For Isabelle, the token TOKNAME is made into the token \\< TNAME >." - :type 'unicode-tokens-symbol-map + :type 'unicode-tokens-token-symbol-map :group 'isabelle :set 'isar-set-and-restart-tokens :tag "Isabelle Unicode Token Mapping") (defcustom isar-user-tokens nil "User-defined additions to `isar-token-symbol-map'." - :type 'unicode-tokens-symbol-map + :type 'unicode-tokens-token-symbol-map :group 'isabelle :set 'isar-set-and-restart-tokens :tag "User extensions for Isabelle Token Mapping") |