diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 09:12:57 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 09:12:57 +0000 |
commit | c48d00f6129e66047c4df261f776f4c8aaa49b0b (patch) | |
tree | 909da041c1768b2109d6d59fbaea00be3e141dc5 /isar | |
parent | ba364c8e3347a775afba434a7aa4abeecd4d52d4 (diff) |
isar-use-find-theorems-form: use defcustom, not defpacustom
isar-keywords-name: fix custom group
Diffstat (limited to 'isar')
-rw-r--r-- | isar/isar.el | 6 |
1 files 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 () |