From 65efde4829c6cb09fb13920f9fd3b67ec49cb665 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 4 Sep 2001 11:16:25 +0000
Subject: no need to adjust the path to bash on the first line (due to
 /usr/bin/env);

---
 isa/README  | 3 +--
 isar/README | 3 +--
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/isa/README b/isa/README
index 7320034b..4bd521e2 100644
--- a/isa/README
+++ b/isa/README
@@ -23,8 +23,7 @@ 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.  For `interface' you may need to
-adjust the path to bash on the first line.
+were provided by Markus Wenzel.
 
 Check the value of isabelle-prog-name.
 
diff --git a/isar/README b/isar/README
index e86950dc..3cd1e4f9 100644
--- a/isar/README
+++ b/isar/README
@@ -23,8 +23,7 @@ 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.  For `interface' you may need to adjust the path
-to bash on the first line.
+Isabelle perspective.
 
 Check the value of isabelle-prog-name.
 
-- 
cgit v1.2.3