Binary file lib/logo/theory.icns has changed
--- a/src/Pure/Admin/build_release.scala Tue Jan 05 23:02:58 2021 +0100
+++ b/src/Pure/Admin/build_release.scala Wed Jan 06 12:43:51 2021 +0100
@@ -340,6 +340,8 @@
<array>
<string>thy</string>
</array>
+<key>CFBundleTypeIconFile</key>
+<string>theory.icns</string>
<key>CFBundleTypeName</key>
<string>Isabelle theory file</string>
<key>CFBundleTypeRole</key>
@@ -661,8 +663,9 @@
File.link(
isabelle_home + isabelle_options, app_dir + isabelle_options, force = true)
- File.copy(
- app_dir + isabelle_home + Path.explode("lib/logo/isabelle.icns"), app_resources)
+ for (icon <- List("lib/logo/isabelle.icns", "lib/logo/theory.icns")) {
+ File.copy(app_dir + isabelle_home + Path.explode(icon), app_resources)
+ }
make_isabelle_app(
app_dir + Path.explode(isabelle_name),