diff options
Diffstat (limited to 'coq/coq-unicode-tokens.el')
-rw-r--r-- | coq/coq-unicode-tokens.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-unicode-tokens.el b/coq/coq-unicode-tokens.el index adb66b47..b7a0692a 100644 --- a/coq/coq-unicode-tokens.el +++ b/coq/coq-unicode-tokens.el @@ -166,7 +166,7 @@ meaning to be useful." :type '(repeat (cons (string :tag "Shortcut sequence") (string :tag "Unicode string"))) :set 'proof-set-value - :group 'isabelle + :group 'coq :tag "Coq Unicode Input Shortcuts") |