Added back isabelle-settings group

1 files changed, 4 insertions, 0 deletions

diff --git a/isa/isa.el b/isa/isa.el
index ad131be6..9544bcf1 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -15,6 +15,10 @@
 ;;; ======== User settings for Isabelle ========
 ;;;
 
+(defgroup isabelle-settings nil
+  "Customization of Isabelle specifics for Proof General."
+  :group 'proof-general)
+  
 (defcustom isa-prog-name "/usr/lib/Isabelle98/bin/isabelle"
   "*Name of program to run Isabelle."
   :type 'file