From d3cd25b986ff63b91a4142ee4da201ea893d1eaf Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Sep 1998 13:07:40 +0000
Subject: Minor

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

diff --git a/isa/isa.el b/isa/isa.el
index bfc79591..219e3fd4 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -26,7 +26,7 @@
 
 (defcustom isa-indent 2
   "*Indentation degree in proof scripts.
-Utterly irrelevant for Isabelle because normal proof scripts have
+Somewhat irrelevant for Isabelle because normal proof scripts have
 no regular or easily discernable structure."
   :type 'number
   :group 'isabelle-settings)
@@ -34,7 +34,7 @@ no regular or easily discernable structure."
 (defcustom isa-www-home-page
   ;; "http://www.cl.cam.ac.uk/Research/HVG/isabelle.html"
   "http://www.dcs.ed.ac.uk/home/isabelle"
-  "URL of home page for Isabelle."
+  "URL of web page for Isabelle."
   :type 'string
   :group 'isabelle-settings)
   
-- 
cgit v1.2.3