# HG changeset patch
# User wenzelm
# Date 1238581155 -7200
# Node ID 46e16145d4bd742721af810bf34da2dc06e0e8c6
# Parent  0e6ee93d0fa23917e496d9a792c23af23924f29a# Parent  1640e06253014151a6d9e2a37ff245704254d76c
merged

diff -r 0e6ee93d0fa2 -r 46e16145d4bd src/Pure/README
--- 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.
-
diff -r 0e6ee93d0fa2 -r 46e16145d4bd src/Pure/ROOT.ML
--- 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