From 63790b7a6f45437accea85ac34219880baa78088 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 24 Nov 1999 21:47:23 +0000
Subject: Made thy-indent-level a user opt.

---
 isa/thy-mode.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isa/thy-mode.el b/isa/thy-mode.el
index f03ec90c..20654cbb 100644
--- a/isa/thy-mode.el
+++ b/isa/thy-mode.el
@@ -22,7 +22,7 @@
   :group 'thy)
 
 (defcustom thy-indent-level 2
-  "Indentation level for Isabelle theory files.  An integer."
+  "*Indentation level for Isabelle theory files.  An integer."
   :type  'integer
   :group 'thy)
 
-- 
cgit v1.2.3