# HG changeset patch
# User wenzelm
# Date 1404115216 -7200
# Node ID 802d33c46459437f481ca5260212178cbed7be1e
# Parent  0e41f26a025081dae0453d74d9651f4c54fc3d53
updated README;

diff -r 0e41f26a0250 -r 802d33c46459 src/Pure/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";