updated README;
Mon, 30 Jun 2014 10:00:16 +0200
changeset 57440 802d33c46459
parent 57439 0e41f26a0250
child 57441 ff534238d9b8
updated README;
--- a/src/Pure/README	Mon Jun 30 09:43:44 2014 +0200
+++ b/src/Pure/README	Mon Jun 30 10:00:16 2014 +0200
@@ -3,18 +3,14 @@
 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:
+is the basis for all object-logics.  Building the Isabelle/Pure heap
+image in batch mode works as for any other session:
-  isabelle make Pure
+  isabelle build -b Pure
-Developers may want to produce a RAW image that merely consists of the
-ML compiler with the compatibility setup of ML-Systems/ preloaded:
+To explore the bootstrap of Pure interactively, the raw ML console can
+be used like this:
-  isabelle make RAW
-Now the Pure session may be compiled interactively as follows:
-  isabelle tty -l RAW
+  isabelle console -l RAW
   use "ROOT.ML";