author | wenzelm |
Mon, 16 Mar 2009 23:36:55 +0100 | |
changeset 30552 | 58db56278478 |
parent 30204 | 8ede2f7104cf |
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.