--- 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>