Re: [isabelle] Isabelle2014-RC0 available for testing
On 21 Jul 2014, at 12:03 pm, Makarius <makarius at sketis.net> wrote:
> Lets try the following change to Isabelle2014-RC0.app/Contents/Info.plist:
Yup, that does it. I had to move the application bundle out of /Applications and back in, but after that it worked. It also correctly shows the non-low-resolution checkbox when you right-click and ask for info on the application.
Now the only step missing to MacOS bliss is passing in files to open.. ;-)
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
This archive was generated by a fusion of
Pipermail (Mailman edition) and