src/Pure/README
author haftmann
Fri, 09 Jan 2015 08:37:00 +0100
changeset 59324 f5f9993a168d
parent 57440 802d33c46459
child 67102 411e49edd905
permissions -rw-r--r--
prefer option for default code printing width


                        Pure: The Pure Isabelle System


This directory contains the ML source files for Pure Isabelle, which
is the basis for all object-logics.  Building the Isabelle/Pure heap
image in batch mode works as for any other session:

  isabelle build -b Pure

To explore the bootstrap of Pure interactively, the raw ML console can
be used like this:

  isabelle console -l RAW
  use "ROOT.ML";