--- a/INSTALL Mon Jun 20 15:55:44 2005 +0200
+++ b/INSTALL Mon Jun 20 16:41:20 2005 +0200
@@ -36,13 +36,8 @@
The installation may be finished as follows:
cd [ISABELLE_HOME]
- ./configure
./bin/isatool install -p /usr/local/bin
-Note that the configure script is only required for systems that do
-not have bash and perl in the canonical places (/bin/bash and
-/usr/bin/perl).
-
The install utility creates global references to the present Isabelle
installation, enabling users to invoke the Isabelle executables
without explicit path names. Incidently, this is the only place where