# HG changeset patch
# User wenzelm
# Date 1635804794 -3600
# Node ID cd674ebf6cac34bc8ba4c877433097bd01aabb25
# Parent  b67d1d72516b8b7a4b6572b4f07fe4b52181406c
tuned;

diff -r b67d1d72516b -r cd674ebf6cac NEWS
--- a/NEWS	Mon Nov 01 22:37:22 2021 +0100
+++ b/NEWS	Mon Nov 01 23:13:14 2021 +0100
@@ -511,8 +511,8 @@
 used in Isabelle2021. Further changes to Poly/ML are documented here:
 http://lists.inf.ed.ac.uk/pipermail/polyml/2021-May/002451.html
 
-* Perl is no longer required by Isabelle proper, and longer provided by
-specific Isabelle execution environments (Docker, Cygwin on Windows).
+* Perl is no longer required by Isabelle proper, and no 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.).