# HG changeset patch
# User wenzelm
# Date 1609938229 -3600
# Node ID 4a117b57e6224112ff63e598c75c33abf48d8851
# Parent  e67d659d7a4124b9714994b3423386dd20ab7dbd
clarified Info.plist;

diff -r e67d659d7a41 -r 4a117b57e622 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Wed Jan 06 13:55:48 2021 +0100
+++ b/src/Pure/Admin/build_release.scala	Wed Jan 06 14:03:49 2021 +0100
@@ -297,7 +297,7 @@
   }
 
 
-  def make_isabelle_plist(path: Path, isabelle_name: String)
+  def make_isabelle_plist(path: Path, isabelle_name: String, isabelle_rev: String)
   {
     File.write(path, """<?xml version="1.0" ?>
 <!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
@@ -318,7 +318,7 @@
 <key>CFBundlePackageType</key>
 <string>APPL</string>
 <key>CFBundleShortVersionString</key>
-<string>1.0</string>
+<string>""" + isabelle_rev + """</string>
 <key>CFBundleSignature</key>
 <string>????</string>
 <key>CFBundleVersion</key>
@@ -326,7 +326,7 @@
 <key>NSHumanReadableCopyright</key>
 <string></string>
 <key>LSMinimumSystemVersion</key>
-<string>10.7</string>
+<string>10.10</string>
 <key>LSApplicationCategoryType</key>
 <string>public.app-category.developer-tools</string>
 <key>NSHighResolutionCapable</key>
@@ -675,7 +675,8 @@
               app_dir + isabelle_options,
               java_options ::: List("-Disabelle.app=true"))
 
-            make_isabelle_plist(app_contents + Path.explode("Info.plist"), isabelle_name)
+            make_isabelle_plist(
+              app_contents + Path.explode("Info.plist"), isabelle_name, release.ident)
 
 
             // application archive