author | wenzelm |
Mon, 02 Mar 2009 20:29:43 +0100 | |
changeset 30204 | 8ede2f7104cf |
parent 28504 | 7ad7d7d6df47 |
child 30834 | 1640e0625301 |
permissions | -rw-r--r-- |
Pure: The Pure Isabelle System This directory contains the ML source files for Pure Isabelle, which is the basis for all object-logics. The Isabelle/Pure image may be compiled in batch mode like this: isabelle make Pure Developers may want to produce a RAW image that merely consists of the ML compiler with the compatibility setup of ML-Systems/ preloaded: isabelle make RAW Now the Pure session may be compiled interactively as follows: isabelle-process -u RAW See ROOT.ML for further information.