src/Pure/README
author blanchet
Mon May 19 23:43:53 2014 +0200 (2014-05-19)
changeset 57008 10f68b83b474
parent 30834 1640e0625301
child 57440 802d33c46459
permissions -rw-r--r--
use E 1.8's auto scheduler option
wenzelm@4689
     1
wenzelm@19
     2
                        Pure: The Pure Isabelle System
clasohm@0
     3
wenzelm@4689
     4
wenzelm@4620
     5
This directory contains the ML source files for Pure Isabelle, which
wenzelm@16115
     6
is the basis for all object-logics.  The Isabelle/Pure image may be
wenzelm@16115
     7
compiled in batch mode like this:
wenzelm@16115
     8
wenzelm@28504
     9
  isabelle make Pure
wenzelm@16115
    10
wenzelm@16115
    11
Developers may want to produce a RAW image that merely consists of the
wenzelm@16115
    12
ML compiler with the compatibility setup of ML-Systems/ preloaded:
clasohm@0
    13
wenzelm@28504
    14
  isabelle make RAW
wenzelm@16115
    15
wenzelm@16115
    16
Now the Pure session may be compiled interactively as follows:
clasohm@0
    17
wenzelm@30834
    18
  isabelle tty -l RAW
wenzelm@30834
    19
  use "ROOT.ML";
wenzelm@16115
    20