src/Pure/Admin/component_polyml.scala

 
 
   /** 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"
 
   private def init_src_root(src_dir: Path, input: String, output: String): Unit = {

 ====================
 
 This compilation of Poly/ML (https://www.polyml.org) is based on the
 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: