# HG changeset patch
# User wenzelm
# Date 1633642930 -7200
# Node ID f4c5e8ca1d53304bbb6eab36782a9b7fa7ebfc29
# Parent  59ef23ac81abe859af5319d3ab44b82971de5bdf
recover NEWS from 78d1f73bbeaa;

diff -r 59ef23ac81ab -r f4c5e8ca1d53 NEWS
--- a/NEWS	Thu Oct 07 23:41:06 2021 +0200
+++ b/NEWS	Thu Oct 07 23:42:10 2021 +0200
@@ -427,6 +427,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