--- a/Admin/components/components.sha1 Mon Mar 11 23:02:18 2019 +0100
+++ b/Admin/components/components.sha1 Tue Mar 12 15:34:33 2019 +0100
@@ -201,6 +201,7 @@
5fbcab1da2b5eb97f24da2590ece189d55b3a105 polyml-5.7.tar.gz
51e024225b460900da5279f0b91b217085f98cf9 polyml-5.8-20190220.tar.gz
20a83fa58d497b533150defe39bcd4540529b25f polyml-5.8-20190306.tar.gz
+d1fd6eced69dc1df7226432fcb824568e0994ff2 polyml-5.8.tar.gz
49f1adfacdd6d29fa9f72035d94a31eaac411a97 polyml-test-0a6ebca445fc.tar.gz
2a8c4421e0a03c0d6ad556b3c36c34eb11568adb polyml-test-1236652ebd55.tar.gz
a0064c157a59e2706e18512a49a6dca914fa17fc polyml-test-1b2dcf8f5202.tar.gz
--- a/Admin/components/main Mon Mar 11 23:02:18 2019 +0100
+++ b/Admin/components/main Tue Mar 12 15:34:33 2019 +0100
@@ -12,7 +12,7 @@
kodkodi-1.5.2-1
nunchaku-0.5
opam-1.2.2
-polyml-5.8-20190306
+polyml-5.8
postgresql-42.2.5
scala-2.12.8
smbc-0.4.1
--- a/Admin/polyml/README Mon Mar 11 23:02:18 2019 +0100
+++ b/Admin/polyml/README Tue Mar 12 15:34:33 2019 +0100
@@ -1,12 +1,11 @@
Poly/ML for Isabelle
====================
-This compilation of Poly/ML (https://www.polyml.org) is based on the
-repository version
-https://github.com/polyml/polyml/commit/fef9f8681c2f (master).
+This compilation of Poly/ML 5.8 (https://www.polyml.org) is based on the
+source distribution from https://github.com/polyml/polyml/releases/tag/v5.8
-The Isabelle repository provides the administrative tool
-"build_polyml", which can be used in the polyml component directory as
+The Isabelle repository provides an administrative tool "isabelle
+build_polyml", which can be used in the polyml component directory as
follows.
* Linux:
@@ -48,4 +47,4 @@
Makarius
- 06-Mar-2019
+ 12-Mar-2019
--- a/NEWS Mon Mar 11 23:02:18 2019 +0100
+++ b/NEWS Tue Mar 12 15:34:33 2019 +0100
@@ -309,10 +309,10 @@
* System option "checkpoint" has been discontinued: obsolete thanks to
improved memory management in Poly/ML.
-* Poly/ML 5.8 allows to use the native x86_64 platform without the full
-overhead of 64-bit values everywhere. This special x86_64_32 mode
-provides up to 16GB ML heap, while program code and stacks are allocated
-elsewhere. Thus approx. 5 times more memory is available for
+* Update to Poly/ML 5.8 allows to use the native x86_64 platform without
+the full overhead of 64-bit values everywhere. This special x86_64_32
+mode provides up to 16GB ML heap, while program code and stacks are
+allocated elsewhere. Thus approx. 5 times more memory is available for
applications compared to old x86 mode (which is no longer used by
Isabelle). The switch to the x86_64 CPU architecture also avoids
compatibility problems with Linux and macOS, where 32-bit applications