# HG changeset patch
# User wenzelm
# Date 1697289999 -7200
# Node ID 99ff760cf63a1b584b43bff4fa52451a3e3dc120
# Parent  9198e785d3d70f9d2a6e977f60787fe668b1f6ed
support for official release of polyml-5.9.1;

diff -r 9198e785d3d7 -r 99ff760cf63a 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: