From d1a8680dede2340ae53b558fa4ae5cfc1c4500ba Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Sep 2001 10:40:31 +0000
Subject: Add specific install instrs, rearrange.

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

(limited to 'isa')

diff --git a/isa/README b/isa/README
index b59e4671..7320034b 100644
--- a/isa/README
+++ b/isa/README
@@ -3,8 +3,6 @@ Isabelle Proof General
 Written by David Aspinall, later with assistance from
 Markus Wenzel and David von Oheimb.
 
-$Id$
-
 Status:		   supported
 Maintainer:	   David Aspinall
 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 to start
 Isabelle Proof General via the 'Isabelle' shell command.  These files
-were provided by Markus Wenzel.
+were provided by Markus Wenzel.  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