Admin/polyml/README

--- a/Admin/polyml/README	Mon Jan 28 12:25:36 2013 +0100
+++ b/Admin/polyml/README	Mon Jan 28 14:33:19 2013 +0100
@@ -1,8 +1,8 @@
 Poly/ML for Isabelle
 ====================
 
-This compilation of Poly/ML 5.5.0 is based on the official sources
-from http://www.polyml.org
+This compilation of Poly/ML 5.5.0 (http://www.polyml.org) is based on
+svn://svn.code.sf.net/p/polyml/code/fixes-5.5 version 1658.
 
 The included build script is used like this:
 
@@ -17,4 +17,4 @@
 
 
 	Makarius
-	21-Jan-2013
+	28-Jan-2013