# HG changeset patch
# User wenzelm
# Date 1292883977 -3600
# Node ID 8cdadd543fc81ba5054eeb1ec2f8f04d573229dc
# Parent  a4d9831c21d44de94bcb18423bda67d4b0535e7d
tuned;

diff -r a4d9831c21d4 -r 8cdadd543fc8 Admin/polyml/README
--- a/Admin/polyml/README	Mon Dec 20 23:19:16 2010 +0100
+++ b/Admin/polyml/README	Mon Dec 20 23:26:17 2010 +0100
@@ -1,8 +1,8 @@
 Poly/ML for Isabelle
 ====================
 
-This compilation is based on the official Poly/ML 5.4 sources from
-http://www.polyml.org with the following change in the SVN (which is
+This compilation of Poly/ML 5.4 is based on the official sources from
+http://www.polyml.org with the following patch from the SVN (which is
 also part of the fixes-5.4 source tree):
 
 ------------------------------------------------------------------------
@@ -30,6 +30,7 @@
 
 ------------------------------------------------------------------------
 
+
 The included build script is used like this:
 
   ./build src x86-linux --with-gmp
@@ -42,5 +43,9 @@
 libraries accommodates the standard ML_HOME settings for Isabelle.
 
 
+Also note that the separate "sha1" library module is required for
+efficient digesting of strings according to SHA-1.
+
+
 	Makarius
 	20-Dec-2010