diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-01 21:54:27 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-01 21:54:27 +0000 |
| commit | f6e30aee7ba06b19aeef406f08e923bac662f434 (patch) | |
| tree | 5b6cf8a158ebb0d667e41c53713d50b40c3a28bb /coq/coq-unicode-tokens.el | |
| parent | 8de05b130ecb7aa6cd16ac73ac069968297b3ebd (diff) | |
Spurious 'isabelle ref.
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") |