--- a/INSTALL Tue May 20 19:34:24 1997 +0200
+++ b/INSTALL Tue May 20 19:34:50 1997 +0200
@@ -3,8 +3,8 @@
IMPORTANT NOTE: This file describes the *new* installation procedure
using various scripts that are still supposed beta for Isabelle94-8.
-If you encounter any problems, you may want to try compiling Isabelle
-the olden way as described in README.
+If you encounter any problems, you may want to consider compiling
+Isabelle the olden way, as described in README.old.
***************************************************************************
@@ -12,19 +12,19 @@
Isabelle installation notes
===========================
-1. Unpacking
-------------
+Unpacking the archive
+---------------------
-Unpacking the Isabelle distribution archive (using tar and gzip)
-leaves you with some directory IsabelleYY-X. You may install this
+After unpacking the Isabelle distribution archive (using tar and gzip)
+you are left with some directory IsabelleYY-X. You may install this
anywhere, but please just *not* as ~/isabelle!!!
The place where you put the contents of IsabelleYY-X will be referred
to as [ISABELLE_HOME] subsequently.
-2. Auto configuration
----------------------
+Auto configuration
+------------------
There are some minor adaptions to be made of the Isabelle distribution
to your system environment. Simply type:
@@ -33,8 +33,8 @@
./configure
-3. ML system settings and compilation
--------------------------------------
+ML system settings and compilation
+----------------------------------
Before actual compilation you have to tell Isabelle about your
Standard ML system. These settings reside in ./etc/settings, which
@@ -51,18 +51,18 @@
./build FOL HOL
-4. Running the system
----------------------
+Running the system
+------------------
-Provided that compilation was succesful, you can now run something
+Provided that compilation was successful, you can now run something
like:
[ISABELLE_HOME]/bin/isabelle FOL
-to start and interactive Isabelle session within your current
+This starts an interactive Isabelle session within your current text
terminal. You may want to put [ISABELLE_HOME]/bin into your shell's
-PATH. Please do *not* copy (or link) the Isabelle scripts somewhere
-else -- or they just won't work!
+search PATH. Please do *not* copy (or link) the Isabelle scripts
+somewhere else -- or they just won't work!
$Id$