--- a/Admin/polyml/README Tue Sep 17 17:17:55 2013 +0200
+++ b/Admin/polyml/README Tue Sep 17 21:12:41 2013 +0200
@@ -1,8 +1,9 @@
Poly/ML for Isabelle
====================
-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.
+This compilation of Poly/ML 5.5.1 (http://www.polyml.org) is based on the
+official source distribution polyml.5.5.1.tar.gz from
+http://sourceforge.net/projects/polyml/.
The included build script is used like this:
@@ -17,4 +18,4 @@
Makarius
- 28-Jan-2013
+ 17-Sep-2013