# HG changeset patch
# User wenzelm
# Date 1552401273 -3600
# Node ID 63721ee8c86c528b5fe5f3dce27cd56efc2315a5
# Parent  9c697c7ad8d61d2139579c429cf4771b78696e84
updated to polyml-5.8 (official release);

diff -r 9c697c7ad8d6 -r 63721ee8c86c Admin/components/components.sha1
--- 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
diff -r 9c697c7ad8d6 -r 63721ee8c86c Admin/components/main
--- 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
diff -r 9c697c7ad8d6 -r 63721ee8c86c Admin/polyml/README
--- 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
diff -r 9c697c7ad8d6 -r 63721ee8c86c NEWS
--- 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