tuned comments;
authorwenzelm
Wed Apr 01 11:53:05 2009 +0200 (2009-04-01)
changeset 308341640e0625301
parent 30829 d64a293f23ba
child 30835 46e16145d4bd
tuned comments;
src/Pure/README
src/Pure/ROOT.ML
     1.1 --- a/src/Pure/README	Tue Mar 31 15:57:10 2009 -0700
     1.2 +++ b/src/Pure/README	Wed Apr 01 11:53:05 2009 +0200
     1.3 @@ -15,7 +15,6 @@
     1.4  
     1.5  Now the Pure session may be compiled interactively as follows:
     1.6  
     1.7 -  isabelle-process -u RAW
     1.8 +  isabelle tty -l RAW
     1.9 +  use "ROOT.ML";
    1.10  
    1.11 -See ROOT.ML for further information.
    1.12 -
     2.1 --- a/src/Pure/ROOT.ML	Tue Mar 31 15:57:10 2009 -0700
     2.2 +++ b/src/Pure/ROOT.ML	Wed Apr 01 11:53:05 2009 +0200
     2.3 @@ -1,7 +1,4 @@
     2.4 -(*  Title:      Pure/ROOT.ML
     2.5 -
     2.6 -Pure Isabelle.
     2.7 -*)
     2.8 +(* Pure Isabelle *)
     2.9  
    2.10  structure Distribution =     (*filled-in by makedist*)
    2.11  struct