--- a/src/Pure/Admin/component_polyml.scala Sat Oct 14 15:16:40 2023 +0200
+++ b/src/Pure/Admin/component_polyml.scala Sat Oct 14 15:26:39 2023 +0200
@@ -156,8 +156,8 @@
/** skeleton for component **/
val default_polyml_url = "https://github.com/polyml/polyml/archive"
- val default_polyml_version = "219e0a248f70"
- val default_polyml_name = "polyml-5.9"
+ val default_polyml_version = "90c0dbb2514e"
+ val default_polyml_name = "polyml-5.9.1"
val default_sha1_url = "https://isabelle.sketis.net/repos/sha1/archive"
val default_sha1_version = "e0239faa6f42"
@@ -284,6 +284,9 @@
source distribution from
https://github.com/polyml/polyml/commit/""" + polyml_version + """
+This coincides with the official release of Poly/ML 5.9.1, see also
+https://github.com/polyml/polyml/releases/tag/v5.9.1
+
The Isabelle repository provides an administrative tool "isabelle
component_polyml", which can be used in the polyml component directory as
follows: