changeset 61740 | d7e0315fe423 |
parent 61071 | c6ac3c3fbb85 |
child 61795 | 16901b0392c6 |
--- a/Admin/polyml/README Mon Nov 23 16:57:01 2015 +0100 +++ b/Admin/polyml/README Mon Nov 23 17:56:11 2015 +0100 @@ -1,8 +1,8 @@ Poly/ML for Isabelle ==================== -This is a preview of Poly/ML 5.5.3, based on -https://github.com/polyml/polyml/ +This is a preview of Poly/ML 5.6, based on +https://github.com/polyml/polyml/ commit b49eb17ab516. The included build script is used like this: @@ -18,4 +18,4 @@ Makarius - 31-Aug-2015 + 23-Nov-2015