# HG changeset patch
# User wenzelm
# Date 1511797735 -3600
# Node ID 411e49edd905572f6f65c7c28c2bd31f3e363eb0
# Parent  60126738b2d0146a69e838795befefce317e5710
updated documentation;

diff -r 60126738b2d0 -r 411e49edd905 src/Pure/README
--- a/src/Pure/README	Mon Nov 27 16:44:32 2017 +0100
+++ b/src/Pure/README	Mon Nov 27 16:48:55 2017 +0100
@@ -2,15 +2,19 @@
                         Pure: The Pure Isabelle System
 
 
-This directory contains the ML source files for Pure Isabelle, which
-is the basis for all object-logics.  Building the Isabelle/Pure heap
-image in batch mode works as for any other session:
+This directory contains the ML source files for Pure Isabelle, which is
+the basis for all object-logics. Building the Isabelle/Pure heap image
+in batch mode works as follows:
 
-  isabelle build -b Pure
+  $ isabelle build Pure
 
-To explore the bootstrap of Pure interactively, the raw ML console can
-be used like this:
+To explore the bootstrap of Pure interactively, the Prover IDE can be
+used like this:
+
+  $ isabelle jedit -l Pure ROOT.ML
 
-  isabelle console -l RAW
-  use "ROOT.ML";
+or alternatively the raw Poly/ML console:
 
+  $ isabelle console -r
+  Poly/ML> use "ROOT0.ML";
+  Poly/ML> use "ROOT.ML";