equal
deleted
inserted
replaced
4 |
4 |
5 This directory contains the ML source files for Pure Isabelle, which |
5 This directory contains the ML source files for Pure Isabelle, which |
6 is the basis for all object-logics. The Isabelle/Pure image may be |
6 is the basis for all object-logics. The Isabelle/Pure image may be |
7 compiled in batch mode like this: |
7 compiled in batch mode like this: |
8 |
8 |
9 isatool make Pure |
9 isabelle make Pure |
10 |
10 |
11 Developers may want to produce a RAW image that merely consists of the |
11 Developers may want to produce a RAW image that merely consists of the |
12 ML compiler with the compatibility setup of ML-Systems/ preloaded: |
12 ML compiler with the compatibility setup of ML-Systems/ preloaded: |
13 |
13 |
14 isatool make RAW |
14 isabelle make RAW |
15 |
15 |
16 Now the Pure session may be compiled interactively as follows: |
16 Now the Pure session may be compiled interactively as follows: |
17 |
17 |
18 isabelle -u RAW |
18 isabelle-process -u RAW |
19 |
19 |
20 See ROOT.ML for further information. |
20 See ROOT.ML for further information. |
21 |
21 |
22 |
22 |
23 $Id$ |
23 $Id$ |