# HG changeset patch
# User wenzelm
# Date 1595327820 -7200
# Node ID 0f2ff88f823e9ca72b7a32d8f69cadb65e75c6af
# Parent  efb7fd4a6d1f949475b91994798b045c3a9057eb
updated to polyml-5.8.1 (official release);

diff -r efb7fd4a6d1f -r 0f2ff88f823e Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Jul 20 23:45:29 2020 +0200
+++ b/Admin/components/components.sha1	Tue Jul 21 12:37:00 2020 +0200
@@ -233,6 +233,7 @@
 525b05536b08c11a1eae943fe6818a8622326084  polyml-5.8.1-20191124.tar.gz
 9043828803483ca14df64488dff014ad050a6d34  polyml-5.8.1-20200228.tar.gz
 1186607e2c43b77db86731f12fbedb531ca50a21  polyml-5.8.1-20200708.tar.gz
+22ae16bf7850e73b903d2ca8eb506da05b441cf3  polyml-5.8.1.tar.gz
 d1fd6eced69dc1df7226432fcb824568e0994ff2  polyml-5.8.tar.gz
 49f1adfacdd6d29fa9f72035d94a31eaac411a97  polyml-test-0a6ebca445fc.tar.gz
 2a8c4421e0a03c0d6ad556b3c36c34eb11568adb  polyml-test-1236652ebd55.tar.gz
diff -r efb7fd4a6d1f -r 0f2ff88f823e Admin/components/main
--- a/Admin/components/main	Mon Jul 20 23:45:29 2020 +0200
+++ b/Admin/components/main	Tue Jul 21 12:37:00 2020 +0200
@@ -12,7 +12,7 @@
 kodkodi-1.5.2-1
 nunchaku-0.5
 opam-2.0.6
-polyml-5.8.1-20200708
+polyml-5.8.1
 postgresql-42.2.9
 scala-2.12.11
 smbc-0.4.1
diff -r efb7fd4a6d1f -r 0f2ff88f823e Admin/polyml/NOTES
--- a/Admin/polyml/NOTES	Mon Jul 20 23:45:29 2020 +0200
+++ b/Admin/polyml/NOTES	Tue Jul 21 12:37:00 2020 +0200
@@ -2,7 +2,7 @@
 ===============================================
 
 * component skeleton:
-  $ isabelle build_polyml_component -s sha1 component
+  $ isabelle build_polyml_component -s sha1 polyml.tar.gz polyml
 
 * include full source (without symlink), for example:
   $ wget https://github.com/polyml/polyml/archive/master.zip
diff -r efb7fd4a6d1f -r 0f2ff88f823e Admin/polyml/README
--- a/Admin/polyml/README	Mon Jul 20 23:45:29 2020 +0200
+++ b/Admin/polyml/README	Tue Jul 21 12:37:00 2020 +0200
@@ -1,8 +1,9 @@
 Poly/ML for Isabelle
 ====================
 
-This test version of Poly/ML pre-5.8.1 is based on the repository
-snapshot https://github.com/polyml/polyml/commit/fb10196d998b
+This compilation of Poly/ML 5.8.1 (https://www.polyml.org) is based on
+the source distribution from
+https://github.com/polyml/polyml/releases/tag/v5.8.1
 
 The Isabelle repository provides an administrative tool "isabelle
 build_polyml", which can be used in the polyml component directory as
@@ -47,4 +48,4 @@
 
 
         Makarius
-        08-Jul-2020
+        21-Jul-2020