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 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'isa/README')

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.
 
-- 
cgit v1.2.3