changeset 51066 | 7fc61bfb1c2d |
parent 51043 | bf5f6affa87d |
child 53686 | 432edb1a2469 |
--- 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