# HG changeset patch
# User wenzelm
# Date 889456042 -3600
# Node ID 8459cf322011c6ff616e5ff73bd9bd7476ec834c
# Parent  49d116fdcafac802f92e4579e78133d5de99f5ce
tuned comment;

diff -r 49d116fdcafa -r 8459cf322011 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Mon Mar 09 16:07:03 1998 +0100
+++ b/src/Pure/ROOT.ML	Mon Mar 09 16:07:22 1998 +0100
@@ -4,7 +4,7 @@
     Copyright   1993  University of Cambridge
 
 Root file for Pure Isabelle: all modules in proper order for loading.
-Loads Pure Isabelle into an empty ML database (see also IsaMakefile).
+Loads Pure Isabelle into an empty ML database (see also README).
 *)
 
 val banner = "Pure Isabelle";