# HG changeset patch
# User wenzelm
# Date 1117529931 -7200
# Node ID 7c7da01ff77ecc0a2fd0be56541b121f4d9722c7
# Parent  bb7ba5c5e632334e136072b69516d759b5a3c1a2
tuned;

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