src/Pure/README
author wenzelm
Mon Jun 30 10:00:16 2014 +0200 (2014-06-30)
changeset 57440 802d33c46459
parent 30834 1640e0625301
child 67102 411e49edd905
permissions -rw-r--r--
updated README;
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@57440
     6
is the basis for all object-logics.  Building the Isabelle/Pure heap
wenzelm@57440
     7
image in batch mode works as for any other session:
wenzelm@16115
     8
wenzelm@57440
     9
  isabelle build -b Pure
wenzelm@16115
    10
wenzelm@57440
    11
To explore the bootstrap of Pure interactively, the raw ML console can
wenzelm@57440
    12
be used like this:
clasohm@0
    13
wenzelm@57440
    14
  isabelle console -l RAW
wenzelm@30834
    15
  use "ROOT.ML";
wenzelm@16115
    16