| changeset 62199 | fc55a4e3f439 |
| parent 61924 | 55b3d21ab5e5 |
| child 62252 | 6a87f7b15b69 |
--- a/Admin/polyml/README Mon Jan 18 16:03:18 2016 +0100 +++ b/Admin/polyml/README Mon Jan 18 16:03:58 2016 +0100 @@ -2,7 +2,7 @@ ==================== This is a preview of Poly/ML 5.6, based on -https://github.com/polyml/polyml/ commit 74a14cce7b20. +https://github.com/polyml/polyml/ commit 72a1c60e3d00. The included build script is used like this: @@ -18,4 +18,4 @@ Makarius - 23-Dec-2015 + 18-Jan-2016