support for official release of polyml-5.9.1;
authorwenzelm
Sat, 14 Oct 2023 15:26:39 +0200
changeset 78774 99ff760cf63a
parent 78773 9198e785d3d7
child 78775 e5b2574f6462
support for official release of polyml-5.9.1;
src/Pure/Admin/component_polyml.scala
--- 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: