# HG changeset patch
# User wenzelm
# Date 1117528822 -7200
# Node ID bb7ba5c5e632334e136072b69516d759b5a3c1a2
# Parent  ae921f717a2b64fd456994198722a4d5944489a9
tuned;

diff -r ae921f717a2b -r bb7ba5c5e632 src/Pure/README
--- a/src/Pure/README	Tue May 31 10:39:20 2005 +0200
+++ b/src/Pure/README	Tue May 31 10:40:22 2005 +0200
@@ -17,5 +17,7 @@
 
   isabelle -u RAW
 
+See ROOT.ML for further informatio.
+
 
 $Id$