--- a/Admin/CHECKLIST Tue Jun 08 17:45:39 2010 +0200
+++ b/Admin/CHECKLIST Wed Jun 09 14:08:08 2010 +0200
@@ -15,7 +15,7 @@
- Admin/update-keywords;
-- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS;
+- check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
- diff NEWS wrt. last official release, which is read-only;
--- a/Admin/makedist Tue Jun 08 17:45:39 2010 +0200
+++ b/Admin/makedist Wed Jun 09 14:08:08 2010 +0200
@@ -200,9 +200,8 @@
mv "$DISTNAME" "${DISTNAME}-old"
mkdir "$DISTNAME"
-mv "${DISTNAME}-old/README" "${DISTNAME}-old/INSTALL" "${DISTNAME}-old/NEWS" \
- "${DISTNAME}-old/ANNOUNCE" "${DISTNAME}-old/COPYRIGHT" "${DISTNAME}-old/CONTRIBUTORS" \
- "$DISTNAME"
+mv "${DISTNAME}-old/README" "${DISTNAME}-old/NEWS" "${DISTNAME}-old/ANNOUNCE" \
+ "${DISTNAME}-old/COPYRIGHT" "${DISTNAME}-old/CONTRIBUTORS" "$DISTNAME"
mkdir "$DISTNAME/doc"
mv "${DISTNAME}-old/doc/"*.pdf "${DISTNAME}-old/doc/Contents" "$DISTNAME/doc"
--- a/INSTALL Tue Jun 08 17:45:39 2010 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,87 +0,0 @@
-
-Isabelle installation notes
-===========================
-
-1) System installation
-----------------------
-
-The Isabelle distribution includes both complete sources and
-precompiled binary packages for common Unix-like platforms.
-
-
-Quick installation
-------------------
-
-Ready-to-go packages are provided for the ML compiler and runtime
-system, the Isabelle sources, and some major object-logics. A minimal
-site installation of Isabelle on Linux/x86 works like this:
-
- tar -C /usr/local -xzf Isabelle.tar.gz
- tar -C /usr/local -xzf polyml.tar.gz
- tar -C /usr/local -xzf HOL_x86-linux.tar.gz
-
-The install prefix given above may be changed as appropriate; there is
-no need to install into a system directory like /usr/local at all. By
-default the ML system (and other contributed packages) are expected in
-any of the following locations:
-
- 1) [ISABELLE_HOME]/contrib
- 2) [ISABELLE_HOME]/..
- 4) /usr/local
- 3) /usr/share
- 5) /opt
-
-This may be changed by editing [ISABELLE_HOME]/etc/settings manually.
-
-The installation may be finished as follows:
-
- cd [ISABELLE_HOME]
- ./bin/isabelle install -p /usr/local/bin
-
-The install utility creates global references to the present Isabelle
-installation, enabling users to invoke the Isabelle executables
-without explicit path names. This is the only place where a static
-reference to [ISABELLE_HOME] is created; thus isabelle install has to
-be run again whenever the Isabelle distribution is moved later.
-
-
-Compiling logics
-----------------
-
-The Isabelle.tar.gz archive already contains all Isabelle sources (and
-documentation). Precompiled object-logics are provided for
-convenience.
-
-Assuming proper configuration of the underlying ML system
-(cf. Isabelle's etc/settings), further object-logics may be compiled
-like this:
-
- [ISABELLE_HOME]/build FOL
-
-Special object-logic targets may be specified as follows:
-
- [ISABELLE_HOME]/build -m HOL-Algebra HOL
-
-
-2) User installation
---------------------
-
-Running the Isabelle binaries
------------------------------
-
-Users may invoke the main Isabelle binaries (isabelle and
-isabelle-process) directly from their location within the distribution
-directory [ISABELLE_HOME] like this:
-
- [ISABELLE_HOME]/bin/isabelle tty -l HOL
-
-This starts an interactive Isabelle session within the current text
-terminal. [ISABELLE_HOME]/bin may be put into the shell's search
-PATH. An alternative is to create global references to the Isabelle
-executables as follows:
-
- [ISABELLE_HOME]/bin/isabelle install -p ~/bin
-
-Note that the site-wide Isabelle installation may already provide
-Isabelle executables in some global bin directory (such as
-/usr/local/bin).
--- a/README Tue Jun 08 17:45:39 2010 +0200
+++ b/README Wed Jun 09 14:08:08 2010 +0200
@@ -21,10 +21,9 @@
Installation
- Binary packages are available for Isabelle/HOL etc. for several
- platforms from the Isabelle web page. The system may be also built
- from scratch, using the tar.gz source distribution. See file
- INSTALL as distributed with Isabelle for more information.
+ Completely integrated bundles including the full Isabelle sources,
+ documentation, add-on tools and precompiled logic images for
+ several platforms are available from the Isabelle web page.
Further background information may be found in the Isabelle System
Manual, distributed with the sources (directory doc).
--- a/doc-src/Ref/introduction.tex Tue Jun 08 17:45:39 2010 +0200
+++ b/doc-src/Ref/introduction.tex Wed Jun 09 14:08:08 2010 +0200
@@ -5,9 +5,7 @@
\index{starting up|bold}\nobreak
%
We assume that your local Isabelle administrator (this might be you!) has
-already installed the Isabelle system together with appropriate object-logics
---- otherwise see the \texttt{README} and \texttt{INSTALL} files in the
-top-level directory of the distribution on how to do this.
+already installed the Isabelle system together with appropriate object-logics.
\medskip Let $\langle isabellehome \rangle$ denote the location where
the distribution has been installed. To run Isabelle from a the shell