# HG changeset patch
# User wenzelm
# Date 1582922044 -3600
# Node ID a296d3697e50c806e02d2f5fa3470952595feb39
# Parent  0a20dd339a05c7d882ece882ece46a405bdbc981
updated to polyml-5.8.1-20200228 test version (Poly/ML 6025c250b4f1);

diff -r 0a20dd339a05 -r a296d3697e50 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Feb 28 16:40:28 2020 +0100
+++ b/Admin/components/components.sha1	Fri Feb 28 21:34:04 2020 +0100
@@ -227,6 +227,7 @@
 f46deb909d645ac8c140968e4d32b5763beb9add  polyml-5.8.1-20191113.tar.gz
 36a40a981b57daae0463d14940a8edf6fa1af179  polyml-5.8.1-20191114.tar.gz
 525b05536b08c11a1eae943fe6818a8622326084  polyml-5.8.1-20191124.tar.gz
+9043828803483ca14df64488dff014ad050a6d34  polyml-5.8.1-20200228.tar.gz
 d1fd6eced69dc1df7226432fcb824568e0994ff2  polyml-5.8.tar.gz
 49f1adfacdd6d29fa9f72035d94a31eaac411a97  polyml-test-0a6ebca445fc.tar.gz
 2a8c4421e0a03c0d6ad556b3c36c34eb11568adb  polyml-test-1236652ebd55.tar.gz
diff -r 0a20dd339a05 -r a296d3697e50 Admin/components/main
--- a/Admin/components/main	Fri Feb 28 16:40:28 2020 +0100
+++ b/Admin/components/main	Fri Feb 28 21:34:04 2020 +0100
@@ -12,7 +12,7 @@
 kodkodi-1.5.2-1
 nunchaku-0.5
 opam-2.0.6
-polyml-5.8.1-20191124
+polyml-5.8.1-20200228
 postgresql-42.2.9
 scala-2.12.10
 smbc-0.4.1
diff -r 0a20dd339a05 -r a296d3697e50 Admin/polyml/README
--- a/Admin/polyml/README	Fri Feb 28 16:40:28 2020 +0100
+++ b/Admin/polyml/README	Fri Feb 28 21:34:04 2020 +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/055f20cdc326
+snapshot https://github.com/polyml/polyml/commit/6025c250b4f1
 
 The Isabelle repository provides an administrative tool "isabelle
 build_polyml", which can be used in the polyml component directory as
@@ -13,7 +13,7 @@
   $ isabelle build_polyml -m32 -s sha1 src
   $ isabelle build_polyml -m64 -s sha1 src
 
-* Mac OS X:
+* macOS:
 
   $ isabelle build_polyml -m32 -s sha1 src
   $ isabelle build_polyml -m64 -s sha1 src
@@ -24,11 +24,11 @@
   $ isabelle build_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src
 
 
-Building libgmp on Mac OS X
-===========================
+Building libgmp on macOS
+========================
 
 The build_polyml invocations above implicitly use the GNU Multiple Precision
-Arithmetic Library (libgmp), but that is not available on Mac OS X by default.
+Arithmetic Library (libgmp), but that is not available on macOS by default.
 Appending "--without-gmp" to the command-line omits this library. Building
 libgmp properly from sources works as follows (library headers and binaries
 will be placed in /usr/local).
@@ -47,4 +47,4 @@
 
 
         Makarius
-        24-Nov-2019
+        28-Feb-2020