clarified app identification, potentially relevant for macOS "defaults";
authorwenzelm
Mon, 18 Jan 2021 18:05:29 +0100
changeset 73397 5a954fd5f078
parent 73396 f78a3be79ad1
child 73398 96d87b9c2b42
clarified app identification, potentially relevant for macOS "defaults";
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>