--- a/Admin/polyml/README Fri Apr 17 19:01:42 2015 +0200
+++ b/Admin/polyml/README Fri Apr 17 20:19:54 2015 +0200
@@ -3,7 +3,7 @@
This compilation of Poly/ML 5.5.2 is based on
http://sourceforge.net/p/polyml/code/HEAD/tree/fixes-5.5.2 version
-1955. See also fixes-5.5.2.diff for the differences to the official
+2007. See also fixes-5.5.2.diff for the differences to the official
source distribution polyml.5.5.2.tar.gz from
http://sourceforge.net/projects/polyml/.
@@ -21,4 +21,4 @@
Makarius
- 25-Jul-2014
+ 17-Apr-2015