# HG changeset patch
# User wenzelm
# Date 1611700480 -3600
# Node ID c0d6d57a9a3126b64b8562e7db91ab843b1029b0
# Parent  b8e12e94cfcabd89f270badb2eede0fcff113bfb
more NEWS;

diff -r b8e12e94cfca -r c0d6d57a9a31 NEWS
--- a/NEWS	Tue Jan 26 22:46:06 2021 +0100
+++ b/NEWS	Tue Jan 26 23:34:40 2021 +0100
@@ -9,6 +9,12 @@
 
 *** General ***
 
+* On macOS, the IsabelleXYZ.app directory layout now follows the other
+platforms, without indirection via Contents/Resources/. INCOMPATIBILITY,
+use e.g. IsabelleXYZ.app/bin/isabelle instead of former
+IsabelleXYZ.app/Isabelle/bin/isabelle or
+IsabelleXYZ.app/Isabelle/Contents/Resources/IsabelleXYZ/bin/isabelle.
+
 * HTML presentation uses rich markup produced by Isabelle/PIDE,
 resulting in more colors and links.