***************************************************************************IMPORTANT NOTE: This file describes the *new* installation procedureusing various scripts that are still supposed beta for Isabelle94-8.If you encounter any problems, you may want to try compiling Isabellethe olden way as described in README.***************************************************************************Isabelle installation notes===========================1. Unpacking------------Unpacking the Isabelle distribution archive (using tar and gzip)leaves you with some directory IsabelleYY-X. You may install thisanywhere, but please just *not* as ~/isabelle!The place where you put the contents of IsabelleYY-X will be referredto as [ISABELLE_HOME] subsequently.2. Auto configuration---------------------There are some minor adaptions to be made of the Isabelle distributionto your system environment. Simply type: cd [ISABELLE_HOME] ./configure3. ML system settings and compilation-------------------------------------Before actual compilation you have to tell Isabelle about yourStandard ML system. These settings reside in ./etc/settings, whichmay be also overridden by ~/isabelle/etc/settings. There are alreadyvarious sample configurations in ./etc/settings commented out.To build the core Isabelle/Pure, now just type: ./buildObjects logics can be made similarly, e.g.: ./build FOL HOL4. Running the system---------------------Provided that compilation was succesful, you can now run somethinglike: [ISABELLE_HOME]/bin/isabelle FOLto start and interactive Isabelle session within your currentterminal. You may want to put [ISABELLE_HOME]/bin into your shell'sPATH. Please do *not* copy (or link) the Isabelle scripts somewhereelse -- or they just won't work!$Id$