From d1a8680dede2340ae53b558fa4ae5cfc1c4500ba Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 3 Sep 2001 10:40:31 +0000
Subject: Add specific install instrs, rearrange.

---
 isar/README | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

(limited to 'isar/README')

diff --git a/isar/README b/isar/README
index 671d0920..e86950dc 100644
--- a/isar/README
+++ b/isar/README
@@ -2,8 +2,6 @@ Isabelle/Isar Proof General
 
 Written by Markus Wenzel
 
-$Id$
-
 Status:		   supported
 Maintainer:	   Markus Wenzel
 Isabelle version:  99-1, 99-2
@@ -25,4 +23,12 @@ 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.  For `interface' you may need to adjust the path
+to bash on the first line.
+
+Check the value of isabelle-prog-name.
+
+========================================
+
+$Id$
+
-- 
cgit v1.2.3