# HG changeset patch # User wenzelm # Date 1573672865 -3600 # Node ID 153ed199c0d4095ef1d3271fd9c1b4f7623e2640 # Parent eed5b61883712870615a3601864ff57d9441e90b updated to polyml-5.8.1-20191113 test version (Poly/ML 67e87c763417); diff -r eed5b6188371 -r 153ed199c0d4 Admin/components/components.sha1 --- a/Admin/components/components.sha1 Wed Nov 13 19:40:44 2019 +0100 +++ b/Admin/components/components.sha1 Wed Nov 13 20:21:05 2019 +0100 @@ -217,6 +217,7 @@ 51e024225b460900da5279f0b91b217085f98cf9 polyml-5.8-20190220.tar.gz 20a83fa58d497b533150defe39bcd4540529b25f polyml-5.8-20190306.tar.gz 9f0e9cd10df4c3383b063eb076e8b698ca50c3d0 polyml-5.8.1-20191101.tar.gz +f46deb909d645ac8c140968e4d32b5763beb9add polyml-5.8.1-20191113.tar.gz d1fd6eced69dc1df7226432fcb824568e0994ff2 polyml-5.8.tar.gz 49f1adfacdd6d29fa9f72035d94a31eaac411a97 polyml-test-0a6ebca445fc.tar.gz 2a8c4421e0a03c0d6ad556b3c36c34eb11568adb polyml-test-1236652ebd55.tar.gz diff -r eed5b6188371 -r 153ed199c0d4 Admin/components/main --- a/Admin/components/main Wed Nov 13 19:40:44 2019 +0100 +++ b/Admin/components/main Wed Nov 13 20:21:05 2019 +0100 @@ -12,7 +12,7 @@ kodkodi-1.5.2-1 nunchaku-0.5 opam-2.0.3-1 -polyml-5.8.1-20191101 +polyml-5.8.1-20191113 postgresql-42.2.5 scala-2.12.10 smbc-0.4.1 diff -r eed5b6188371 -r 153ed199c0d4 Admin/polyml/README --- a/Admin/polyml/README Wed Nov 13 19:40:44 2019 +0100 +++ b/Admin/polyml/README Wed Nov 13 20:21:05 2019 +0100 @@ -2,7 +2,7 @@ ==================== This test version of Poly/ML pre-5.8.1 is based on the repository -snapshot https://github.com/polyml/polyml/commit/51f3ce2ae95f +snapshot https://github.com/polyml/polyml/commit/67e87c763417 The Isabelle repository provides an administrative tool "isabelle build_polyml", which can be used in the polyml component directory as @@ -47,4 +47,4 @@ Makarius - 01-Nov-2019 + 13-Nov-2019