1.1 --- a/Admin/CHECKLIST Tue Jun 08 17:45:39 2010 +0200
1.2 +++ b/Admin/CHECKLIST Wed Jun 09 14:08:08 2010 +0200
1.3 @@ -15,7 +15,7 @@
1.4
1.5 - Admin/update-keywords;
1.6
1.7 -- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS;
1.8 +- check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
1.9
1.10 - diff NEWS wrt. last official release, which is read-only;
1.11
2.1 --- a/Admin/makedist Tue Jun 08 17:45:39 2010 +0200
2.2 +++ b/Admin/makedist Wed Jun 09 14:08:08 2010 +0200
2.3 @@ -200,9 +200,8 @@
2.4 mv "$DISTNAME" "${DISTNAME}-old"
2.5 mkdir "$DISTNAME"
2.6
2.7 -mv "${DISTNAME}-old/README" "${DISTNAME}-old/INSTALL" "${DISTNAME}-old/NEWS" \
2.8 - "${DISTNAME}-old/ANNOUNCE" "${DISTNAME}-old/COPYRIGHT" "${DISTNAME}-old/CONTRIBUTORS" \
2.9 - "$DISTNAME"
2.10 +mv "${DISTNAME}-old/README" "${DISTNAME}-old/NEWS" "${DISTNAME}-old/ANNOUNCE" \
2.11 + "${DISTNAME}-old/COPYRIGHT" "${DISTNAME}-old/CONTRIBUTORS" "$DISTNAME"
2.12 mkdir "$DISTNAME/doc"
2.13 mv "${DISTNAME}-old/doc/"*.pdf "${DISTNAME}-old/doc/Contents" "$DISTNAME/doc"
2.14
3.1 --- a/INSTALL Tue Jun 08 17:45:39 2010 +0200
3.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
3.3 @@ -1,87 +0,0 @@
3.4 -
3.5 -Isabelle installation notes
3.6 -===========================
3.7 -
3.8 -1) System installation
3.9 -----------------------
3.10 -
3.11 -The Isabelle distribution includes both complete sources and
3.12 -precompiled binary packages for common Unix-like platforms.
3.13 -
3.14 -
3.15 -Quick installation
3.16 -------------------
3.17 -
3.18 -Ready-to-go packages are provided for the ML compiler and runtime
3.19 -system, the Isabelle sources, and some major object-logics. A minimal
3.20 -site installation of Isabelle on Linux/x86 works like this:
3.21 -
3.22 - tar -C /usr/local -xzf Isabelle.tar.gz
3.23 - tar -C /usr/local -xzf polyml.tar.gz
3.24 - tar -C /usr/local -xzf HOL_x86-linux.tar.gz
3.25 -
3.26 -The install prefix given above may be changed as appropriate; there is
3.27 -no need to install into a system directory like /usr/local at all. By
3.28 -default the ML system (and other contributed packages) are expected in
3.29 -any of the following locations:
3.30 -
3.31 - 1) [ISABELLE_HOME]/contrib
3.32 - 2) [ISABELLE_HOME]/..
3.33 - 4) /usr/local
3.34 - 3) /usr/share
3.35 - 5) /opt
3.36 -
3.37 -This may be changed by editing [ISABELLE_HOME]/etc/settings manually.
3.38 -
3.39 -The installation may be finished as follows:
3.40 -
3.41 - cd [ISABELLE_HOME]
3.42 - ./bin/isabelle install -p /usr/local/bin
3.43 -
3.44 -The install utility creates global references to the present Isabelle
3.45 -installation, enabling users to invoke the Isabelle executables
3.46 -without explicit path names. This is the only place where a static
3.47 -reference to [ISABELLE_HOME] is created; thus isabelle install has to
3.48 -be run again whenever the Isabelle distribution is moved later.
3.49 -
3.50 -
3.51 -Compiling logics
3.52 -----------------
3.53 -
3.54 -The Isabelle.tar.gz archive already contains all Isabelle sources (and
3.55 -documentation). Precompiled object-logics are provided for
3.56 -convenience.
3.57 -
3.58 -Assuming proper configuration of the underlying ML system
3.59 -(cf. Isabelle's etc/settings), further object-logics may be compiled
3.60 -like this:
3.61 -
3.62 - [ISABELLE_HOME]/build FOL
3.63 -
3.64 -Special object-logic targets may be specified as follows:
3.65 -
3.66 - [ISABELLE_HOME]/build -m HOL-Algebra HOL
3.67 -
3.68 -
3.69 -2) User installation
3.70 ---------------------
3.71 -
3.72 -Running the Isabelle binaries
3.73 ------------------------------
3.74 -
3.75 -Users may invoke the main Isabelle binaries (isabelle and
3.76 -isabelle-process) directly from their location within the distribution
3.77 -directory [ISABELLE_HOME] like this:
3.78 -
3.79 - [ISABELLE_HOME]/bin/isabelle tty -l HOL
3.80 -
3.81 -This starts an interactive Isabelle session within the current text
3.82 -terminal. [ISABELLE_HOME]/bin may be put into the shell's search
3.83 -PATH. An alternative is to create global references to the Isabelle
3.84 -executables as follows:
3.85 -
3.86 - [ISABELLE_HOME]/bin/isabelle install -p ~/bin
3.87 -
3.88 -Note that the site-wide Isabelle installation may already provide
3.89 -Isabelle executables in some global bin directory (such as
3.90 -/usr/local/bin).
4.1 --- a/README Tue Jun 08 17:45:39 2010 +0200
4.2 +++ b/README Wed Jun 09 14:08:08 2010 +0200
4.3 @@ -21,10 +21,9 @@
4.4
4.5 Installation
4.6
4.7 - Binary packages are available for Isabelle/HOL etc. for several
4.8 - platforms from the Isabelle web page. The system may be also built
4.9 - from scratch, using the tar.gz source distribution. See file
4.10 - INSTALL as distributed with Isabelle for more information.
4.11 + Completely integrated bundles including the full Isabelle sources,
4.12 + documentation, add-on tools and precompiled logic images for
4.13 + several platforms are available from the Isabelle web page.
4.14
4.15 Further background information may be found in the Isabelle System
4.16 Manual, distributed with the sources (directory doc).
5.1 --- a/doc-src/Ref/introduction.tex Tue Jun 08 17:45:39 2010 +0200
5.2 +++ b/doc-src/Ref/introduction.tex Wed Jun 09 14:08:08 2010 +0200
5.3 @@ -5,9 +5,7 @@
5.4 \index{starting up|bold}\nobreak
5.5 %
5.6 We assume that your local Isabelle administrator (this might be you!) has
5.7 -already installed the Isabelle system together with appropriate object-logics
5.8 ---- otherwise see the \texttt{README} and \texttt{INSTALL} files in the
5.9 -top-level directory of the distribution on how to do this.
5.10 +already installed the Isabelle system together with appropriate object-logics.
5.11
5.12 \medskip Let $\langle isabellehome \rangle$ denote the location where
5.13 the distribution has been installed. To run Isabelle from a the shell