NEWS

--- a/NEWS	Mon Jul 10 22:44:28 2023 +0200
+++ b/NEWS	Tue Jul 11 11:37:23 2023 +0200
@@ -456,6 +456,9 @@
 via Compress.Options and Compress.Cache. Bytes.uncompress automatically
 detects the compression scheme.
 
+* File.set_executable in Isabelle/Scala has changed its mandatory "flag"
+to optional "reset", which opposite polarity. INCOMPATIBILITY.
+
 
 
 New in Isabelle2022 (October 2022)