# HG changeset patch
# User wenzelm
# Date 1610989529 -3600
# Node ID 5a954fd5f0784cec4d9f42e7a13a381713ed6cff
# Parent  f78a3be79ad1566783b6ee810c547f17f181fc5b
clarified app identification, potentially relevant for macOS "defaults";

diff -r f78a3be79ad1 -r 5a954fd5f078 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Mon Jan 18 17:05:47 2021 +0100
+++ b/src/Pure/Admin/build_release.scala	Mon Jan 18 18:05:29 2021 +0100
@@ -310,7 +310,7 @@
 <key>CFBundleIconFile</key>
 <string>isabelle.icns</string>
 <key>CFBundleIdentifier</key>
-<string>de.tum.in.isabelle.""" + isabelle_name + """</string>
+<string>de.tum.in.isabelle</string>
 <key>CFBundleDisplayName</key>
 <string>""" + isabelle_name + """</string>
 <key>CFBundleInfoDictionaryVersion</key>
@@ -320,11 +320,11 @@
 <key>CFBundlePackageType</key>
 <string>APPL</string>
 <key>CFBundleShortVersionString</key>
-<string>""" + isabelle_rev + """</string>
+<string>""" + isabelle_name + """</string>
 <key>CFBundleSignature</key>
 <string>????</string>
 <key>CFBundleVersion</key>
-<string>1</string>
+<string>""" + isabelle_rev + """</string>
 <key>NSHumanReadableCopyright</key>
 <string></string>
 <key>LSMinimumSystemVersion</key>