# HG changeset patch
# User wenzelm
# Date 1633370871 -7200
# Node ID a2dcda6107d9432ad2383ec6743e97e4b5c9aac7
# Parent  2fd74a2c4e1c893e0878005ea0938b19c77d0390
discontinued perl;

diff -r 2fd74a2c4e1c -r a2dcda6107d9 NEWS
--- a/NEWS	Mon Oct 04 19:17:50 2021 +0200
+++ b/NEWS	Mon Oct 04 20:07:51 2021 +0200
@@ -406,6 +406,12 @@
 
 * Update to OpenJDK 17: the current long-term support version of Java.
 
+* Perl is no longer required by Isabelle proper, and longer provided by
+specific Isabelle execution environments (Docker, Cygwin on Windows).
+Minor INCOMPATIBILITY, add-on applications involving perl need to
+provide it by different means. (Note that proper Isabelle systems
+programming works via Scala/Java, without perl, python, ruby etc.).
+
 * Each Isabelle component may specify a Scala/Java jar module
 declaratively via etc/build.props (file names are relative to the
 component directory). E.g. see $ISABELLE_HOME/etc/build.props with
diff -r 2fd74a2c4e1c -r a2dcda6107d9 src/Pure/Tools/build_docker.scala
--- a/src/Pure/Tools/build_docker.scala	Mon Oct 04 19:17:50 2021 +0200
+++ b/src/Pure/Tools/build_docker.scala	Mon Oct 04 20:07:51 2021 +0200
@@ -15,7 +15,7 @@
   private val Isabelle_Name = """^.*?(Isabelle[^/\\:]+)_linux\.tar\.gz$""".r
 
   val packages: List[String] =
-    List("curl", "less", "libfontconfig1", "libgomp1", "perl", "pwgen", "rlwrap", "unzip")
+    List("curl", "less", "libfontconfig1", "libgomp1", "pwgen", "rlwrap", "unzip")
 
   val package_collections: Map[String, List[String]] =
     Map("X11" -> List("libx11-6", "libxext6", "libxrender1", "libxtst6", "libxi6"),