src/Pure/README
author wenzelm
Wed Dec 12 23:36:07 2012 +0100 (2012-12-12 ago)
changeset 50499 f496b2b7bafb
parent 30834 1640e0625301
child 57440 802d33c46459
permissions -rw-r--r--
rendering of selected dialog_result as active_result_color, depending on dynamic command status in output panel, but not static popups etc.;
     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   isabelle 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   isabelle make RAW
    15 
    16 Now the Pure session may be compiled interactively as follows:
    17 
    18   isabelle tty -l RAW
    19   use "ROOT.ML";
    20