--- 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