removed outdated/confusing INSTALL file;
authorwenzelm
Wed Jun 09 14:08:08 2010 +0200 (2010-06-09)
changeset 373681c816f2abb0e
parent 37367 8680677265c9
child 37369 e0460bbf6b39
removed outdated/confusing INSTALL file;
Admin/CHECKLIST
Admin/makedist
INSTALL
README
doc-src/Ref/introduction.tex
     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