--- a/src/Pure/README Wed Apr 01 11:53:59 2009 +0200
+++ b/src/Pure/README Wed Apr 01 12:19:15 2009 +0200
@@ -15,7 +15,6 @@
Now the Pure session may be compiled interactively as follows:
- isabelle-process -u RAW
+ isabelle tty -l RAW
+ use "ROOT.ML";
-See ROOT.ML for further information.
-
--- a/src/Pure/ROOT.ML Wed Apr 01 11:53:59 2009 +0200
+++ b/src/Pure/ROOT.ML Wed Apr 01 12:19:15 2009 +0200
@@ -1,7 +1,4 @@
-(* Title: Pure/ROOT.ML
-
-Pure Isabelle.
-*)
+(* Pure Isabelle *)
structure Distribution = (*filled-in by makedist*)
struct