Admin/polyml/README
changeset 41331 8cdadd543fc8
parent 41330 a4d9831c21d4
child 45147 c23029f6357f
--- 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