diff -r 8d9fb810462b -r 7ef8d77ee761 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Tue Jan 05 20:53:57 2021 +0100
+++ b/src/Pure/Admin/build_release.scala	Tue Jan 05 21:46:35 2021 +0100
@@ -305,8 +305,6 @@
 <dict>
 <key>CFBundleDevelopmentRegion</key>
 <string>English</string>
-<key>CFBundleIconFile</key>
-<string>isabelle.icns</string>
 <key>CFBundleIdentifier</key>
 <string>de.tum.in.isabelle.""" + isabelle_name + """</string>
 <key>CFBundleDisplayName</key>
@@ -340,8 +338,6 @@
 <array>
 <string>thy</string>
 </array>
-<key>CFBundleTypeIconFile</key>
-<string>theory.icns</string>
 <key>CFBundleTypeName</key>
 <string>Isabelle theory file</string>
 <key>CFBundleTypeRole</key>