Recent Isabelle applications for Mac don't seem to recognise the .thy filename extension, and Mac OS is unwilling to assign them as the default application for theory files. I believe that the fix is as follows:
(1), to use the attached version of Info.plist and (2), to include the attached icon file (for theory files, which is different from the application icon) in the Resources folder. Larry
Info.plist
Description: Binary data
<<inline: Isabelle theory.icns>>
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
