# HG changeset patch
# User wenzelm
# Date 1572633655 -3600
# Node ID 38ade730f6dfdd127e02eafb7eb8a4f2dca47ed4
# Parent  6178ecf357a03653c9af75487095404e37b0c976
updated to polyml-5.8.1-20191101 test version;

diff -r 6178ecf357a0 -r 38ade730f6df Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Nov 01 18:43:37 2019 +0100
+++ b/Admin/components/components.sha1	Fri Nov 01 19:40:55 2019 +0100
@@ -216,6 +216,7 @@
 5fbcab1da2b5eb97f24da2590ece189d55b3a105  polyml-5.7.tar.gz
 51e024225b460900da5279f0b91b217085f98cf9  polyml-5.8-20190220.tar.gz
 20a83fa58d497b533150defe39bcd4540529b25f  polyml-5.8-20190306.tar.gz
+9f0e9cd10df4c3383b063eb076e8b698ca50c3d0  polyml-5.8.1-20191101.tar.gz
 d1fd6eced69dc1df7226432fcb824568e0994ff2  polyml-5.8.tar.gz
 49f1adfacdd6d29fa9f72035d94a31eaac411a97  polyml-test-0a6ebca445fc.tar.gz
 2a8c4421e0a03c0d6ad556b3c36c34eb11568adb  polyml-test-1236652ebd55.tar.gz
diff -r 6178ecf357a0 -r 38ade730f6df Admin/components/main
--- a/Admin/components/main	Fri Nov 01 18:43:37 2019 +0100
+++ b/Admin/components/main	Fri Nov 01 19:40:55 2019 +0100
@@ -12,7 +12,7 @@
 kodkodi-1.5.2-1
 nunchaku-0.5
 opam-2.0.3-1
-polyml-5.8
+polyml-5.8.1-20191101
 postgresql-42.2.5
 scala-2.12.10
 smbc-0.4.1
diff -r 6178ecf357a0 -r 38ade730f6df Admin/polyml/README
--- a/Admin/polyml/README	Fri Nov 01 18:43:37 2019 +0100
+++ b/Admin/polyml/README	Fri Nov 01 19:40:55 2019 +0100
@@ -1,8 +1,8 @@
 Poly/ML for Isabelle
 ====================
 
-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
+This test version of Poly/ML pre-5.8.1 is based on the repository
+snapshot https://github.com/polyml/polyml/commit/51f3ce2ae95f
 
 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
-        12-Mar-2019
+        01-Nov-2019
diff -r 6178ecf357a0 -r 38ade730f6df Admin/polyml/settings
--- a/Admin/polyml/settings	Fri Nov 01 18:43:37 2019 +0100
+++ b/Admin/polyml/settings	Fri Nov 01 19:40:55 2019 +0100
@@ -12,6 +12,6 @@
   ML_OPTIONS="--minheap 500"
 fi
 
-ML_SYSTEM=polyml-5.8
+ML_SYSTEM=polyml-5.8.1
 ML_HOME="$POLYML_HOME/$ML_PLATFORM"
 ML_SOURCES="$POLYML_HOME/src"