From d1334c20e1907a845117a45b3bab13a70cc57eae Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 23 Sep 1998 11:12:35 +0000
Subject: Added back isabelle-settings group

---
 isa/isa.el | 4 ++++
 1 file changed, 4 insertions(+)

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