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