src/Pure/README
author haftmann
Fri Nov 10 07:44:47 2006 +0100 (2006-11-10)
changeset 21286 b5e7b80caa6a
parent 16117 7c7da01ff77e
child 28504 7ad7d7d6df47
permissions -rw-r--r--
introduces canonical AList functions for loop_tacs
     1 
     2                         Pure: The Pure Isabelle System
     3 
     4 
     5 This directory contains the ML source files for Pure Isabelle, which
     6 is the basis for all object-logics.  The Isabelle/Pure image may be
     7 compiled in batch mode like this:
     8 
     9   isatool make Pure
    10 
    11 Developers may want to produce a RAW image that merely consists of the
    12 ML compiler with the compatibility setup of ML-Systems/ preloaded:
    13 
    14   isatool make RAW
    15 
    16 Now the Pure session may be compiled interactively as follows:
    17 
    18   isabelle -u RAW
    19 
    20 See ROOT.ML for further information.
    21 
    22 
    23 $Id$