diff -r d44552bf310f -r 75bd49ba9c28 src/Pure/Admin/build_release.scala
--- 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 @@
thy
+CFBundleTypeIconFile
+theory.icns
CFBundleTypeName
Isabelle theory file
CFBundleTypeRole
@@ -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),