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