--- a/INSTALL Wed Sep 21 11:50:20 2005 +0200
+++ b/INSTALL Wed Sep 21 11:50:38 2005 +0200
@@ -17,7 +17,6 @@
site installation of Isabelle on Linux/x86 works like this:
tar -C /usr/local -xzf Isabelle.tar.gz
- tar -C /usr/local -xzf polyml_base.tar.gz
tar -C /usr/local -xzf polyml_x86-linux.tar.gz
tar -C /usr/local -xzf HOL_x86-linux.tar.gz
@@ -27,8 +26,8 @@
1) [ISABELLE_HOME]/contrib
2) [ISABELLE_HOME]/..
+ 4) /usr/local
3) /usr/share
- 4) /usr/local
5) /opt
This may be changed by editing [ISABELLE_HOME]/etc/settings manually.
@@ -49,7 +48,7 @@
----------------
The Isabelle.tar.gz archive already contains all Isabelle sources (and
-documentation). Precompiled object-logics are provided for
+documentation). Precompiled object-logics are provided for
convenience.
Assuming proper configuration of the underlying ML system
@@ -60,7 +59,7 @@
Special object-logic targets may be specified as follows:
- [ISABELLE_HOME]/build -m HOL-Complex HOL
+ [ISABELLE_HOME]/build -m HOL-Algebra HOL
2) User installation