wenzelm@2759: 
wenzelm@2759: Isabelle installation notes
wenzelm@2759: ===========================
wenzelm@2759: 
wenzelm@3263: Unpacking the archive
wenzelm@3263: ---------------------
wenzelm@2759: 
wenzelm@3263: After unpacking the Isabelle distribution archive (using tar and gzip)
wenzelm@3263: you are left with some directory IsabelleYY-X. You may install this
wenzelm@3117: anywhere, but please just *not* as ~/isabelle!!!
wenzelm@2759: 
wenzelm@2759: The place where you put the contents of IsabelleYY-X will be referred
wenzelm@2759: to as [ISABELLE_HOME] subsequently.
wenzelm@2759: 
wenzelm@2759: 
wenzelm@3263: Auto configuration
wenzelm@3263: ------------------
wenzelm@2759: 
wenzelm@2759: There are some minor adaptions to be made of the Isabelle distribution
wenzelm@2759: to your system environment. Simply type:
wenzelm@2759: 
wenzelm@2759:   cd [ISABELLE_HOME]
wenzelm@2759:   ./configure
wenzelm@2759: 
wenzelm@2759: 
wenzelm@3263: ML system settings and compilation
wenzelm@3263: ----------------------------------
wenzelm@2759: 
wenzelm@2759: Before actual compilation you have to tell Isabelle about your
wenzelm@2759: Standard ML system.  These settings reside in ./etc/settings, which
wenzelm@2759: may be also overridden by ~/isabelle/etc/settings. There are already
wenzelm@2759: various sample configurations in ./etc/settings commented out.
wenzelm@2759: 
wenzelm@3117: To build the core Isabelle/Pure and the default object-logic, just
wenzelm@3117: type:
wenzelm@2759: 
wenzelm@2759:   ./build
wenzelm@2759: 
wenzelm@3117: More object-logics can be made similarly:
wenzelm@2759: 
wenzelm@2759:   ./build FOL HOL
wenzelm@2759: 
wenzelm@2759: 
wenzelm@3263: Running the system
wenzelm@3263: ------------------
wenzelm@2759: 
wenzelm@3263: Provided that compilation was successful, you can now run something
wenzelm@2759: like:
wenzelm@2759: 
wenzelm@2759:   [ISABELLE_HOME]/bin/isabelle FOL
wenzelm@2759: 
wenzelm@3263: This starts an interactive Isabelle session within your current text
wenzelm@2759: terminal.  You may want to put [ISABELLE_HOME]/bin into your shell's
wenzelm@5395: search PATH.
wenzelm@5395: 
wenzelm@5395: Please do *not* copy (or link) the Isabelle scripts anywhere else --
wenzelm@5395: or they just won't work!  If you really feel the urge to install
wenzelm@5395: independent Isabelle binaries somewhere use
wenzelm@5395: [ISABELLE_HOME]/bin/isatool install (see the system manual for more
wenzelm@5395: information).
wenzelm@2759: 
wenzelm@2759: 
wenzelm@2759: $Id$