From c48d00f6129e66047c4df261f776f4c8aaa49b0b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 7 Sep 2009 09:12:57 +0000
Subject: isar-use-find-theorems-form: use defcustom, not defpacustom
 isar-keywords-name: fix custom group

---
 isar/isar.el | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/isar/isar.el b/isar/isar.el
index e732f88c..25572319 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -31,11 +31,12 @@
 ;;
 ;; Load syntax
 ;;
+
 (defcustom isar-keywords-name nil
   "Specifies a theory-specific keywords setting to use with Isar.
 See -k option for Isabelle interface script."
   :type 'string
-  :group 'isabelle-isar)
+  :group 'isabelle)
 
 (or (featurep 'isar-keywords)
     ;; Pickup isar-keywords file from somewhere appropriate,
@@ -240,9 +241,10 @@ See -k option for Isabelle interface script."
 (defun isar-configure-from-settings ()
   (isar-set-proof-find-theorems-command))
 
-(defpacustom use-find-theorems-form nil
+(defcustom isar-use-find-theorems-form nil
   "Use a form-style input for the find theorems operation."
   :type 'boolean
+  :group 'isabelle
   :eval (isar-set-proof-find-theorems-command))
 
 (defun isar-set-proof-find-theorems-command ()
-- 
cgit v1.2.3