tuned;
authorwenzelm
Mon, 01 Nov 2021 23:13:14 +0100
changeset 75042 cd674ebf6cac
parent 75041 b67d1d72516b
child 75044 b74dfca75e84
child 75046 0659536b150b
tuned;
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.).