--- a/Admin/components/components.sha1 Sun Nov 24 15:45:32 2019 +0100
+++ b/Admin/components/components.sha1 Sun Nov 24 22:54:42 2019 +0100
@@ -219,6 +219,7 @@
9f0e9cd10df4c3383b063eb076e8b698ca50c3d0 polyml-5.8.1-20191101.tar.gz
f46deb909d645ac8c140968e4d32b5763beb9add polyml-5.8.1-20191113.tar.gz
36a40a981b57daae0463d14940a8edf6fa1af179 polyml-5.8.1-20191114.tar.gz
+525b05536b08c11a1eae943fe6818a8622326084 polyml-5.8.1-20191124.tar.gz
d1fd6eced69dc1df7226432fcb824568e0994ff2 polyml-5.8.tar.gz
49f1adfacdd6d29fa9f72035d94a31eaac411a97 polyml-test-0a6ebca445fc.tar.gz
2a8c4421e0a03c0d6ad556b3c36c34eb11568adb polyml-test-1236652ebd55.tar.gz
--- a/Admin/components/main Sun Nov 24 15:45:32 2019 +0100
+++ b/Admin/components/main Sun Nov 24 22:54:42 2019 +0100
@@ -12,7 +12,7 @@
kodkodi-1.5.2-1
nunchaku-0.5
opam-2.0.3-1
-polyml-5.8.1-20191114
+polyml-5.8.1-20191124
postgresql-42.2.5
scala-2.12.10
smbc-0.4.1
--- a/Admin/polyml/README Sun Nov 24 15:45:32 2019 +0100
+++ b/Admin/polyml/README Sun Nov 24 22:54:42 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/67e87c763417
+snapshot https://github.com/polyml/polyml/commit/055f20cdc326
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
- 14-Nov-2019
+ 24-Nov-2019