2 Isabelle installation notes
3 ===========================
8 After unpacking the Isabelle distribution archive (using tar and gzip)
9 you are left with some directory IsabelleYY-X. You may install this
10 anywhere, but please just *not* as ~/isabelle!!!
12 The place where you put the contents of IsabelleYY-X will be referred
13 to as [ISABELLE_HOME] subsequently.
19 There are some minor adaptions to be made of the Isabelle distribution
20 to your system environment. Simply type:
26 ML system settings and compilation
27 ----------------------------------
29 Before actual compilation you have to tell Isabelle about your
30 Standard ML system. These settings reside in ./etc/settings, which
31 may be also overridden by ~/isabelle/etc/settings. There are already
32 various sample configurations in ./etc/settings commented out.
34 To build the core Isabelle/Pure and the default object-logic, just
39 More object-logics can be made similarly:
47 Provided that compilation was successful, you can now run something
50 [ISABELLE_HOME]/bin/isabelle FOL
52 This starts an interactive Isabelle session within your current text
53 terminal. You may want to put [ISABELLE_HOME]/bin into your shell's
54 search PATH. Please do *not* copy (or link) the Isabelle scripts
55 somewhere else -- or they just won't work!