--- 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";