[isabelle-dev] Mac App

[Lawrence Paulson]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Info.plist
Type: application/octet-stream
Size: 1658 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20120723/a4b803d6/attachment-0001.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Isabelle theory.icns
Type: image/icns
Size: 35197 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20120723/a4b803d6/attachment-0001.bin>