# HG changeset patch
# User wenzelm
# Date 1633373500 -7200
# Node ID 78d1f73bbeaa0b1e6dfa64d5c33b5a038889c9a7
# Parent  71e44f03fea38882ae5b91746861f45213282cc8
removed pointless NEWS: both Docker/ubuntu and Cygwin provide perl by default;

diff -r 71e44f03fea3 -r 78d1f73bbeaa NEWS
--- a/NEWS	Mon Oct 04 20:43:11 2021 +0200
+++ b/NEWS	Mon Oct 04 20:51:40 2021 +0200
@@ -406,12 +406,6 @@
 
 * 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