src/Pure/README
author wenzelm
Thu Aug 02 12:36:54 2012 +0200 (2012-08-02)
changeset 48646 91281e9472d8
parent 30834 1640e0625301
child 57440 802d33c46459
permissions -rw-r--r--
more official command specifications, including source position;
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