From 71980ddb77f53b7ba2e79106ba2a2f8bfc780f68 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 4 Sep 2001 11:34:28 +0000
Subject: tuned;

---
 isar/README | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/isar/README b/isar/README
index 3cd1e4f9..89e745bd 100644
--- a/isar/README
+++ b/isar/README
@@ -23,7 +23,9 @@ There is no support for proof by pointing yet, and no tags program.
 The script `interface' and file 'interface-setup.el' are used
 internally to start Isabelle Proof General via the 'Isabelle' shell
 command.  This is the default way to invoke Proof General from the
-Isabelle perspective.
+Isabelle perspective; it enables Isabelle to provide a consistent
+process and file-system environment, including the all-important
+isar-keywords.el file.
 
 Check the value of isabelle-prog-name.
 
-- 
cgit v1.2.3