From f6e30aee7ba06b19aeef406f08e923bac662f434 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 1 Sep 2009 21:54:27 +0000
Subject: Spurious 'isabelle ref.

---
 coq/coq-unicode-tokens.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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")
 
   
-- 
cgit v1.2.3