src/Pure/README
author wenzelm
Mon Mar 10 15:04:01 2014 +0100 (2014-03-10)
changeset 56026 893fe12639bc
parent 30834 1640e0625301
child 57440 802d33c46459
permissions -rw-r--r--
tuned signature -- prefer Name_Space.get with its builtin error;
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