[isabelle-dev] Mac App

Lawrence Paulson lp15 at cam.ac.uk
Mon Jul 23 21:18:15 CEST 2012

What does Platypus actually give us?

Once we know how the application should be laid out inside, we don't need Platypus any more. The application can be the same every time, just with a fresh copy of Isabelle.


On 23 Jul 2012, at 19:36, Makarius wrote:

> The Info.plist edited here was generated by Platypus 4.0.  The main thing is the executable application wrapper of Platypus, and the plist needs to correspond to that.  After updating to Platypus 4.7 I've got a different Info.plist, which was not very surprising.
> Editing generated files only works one-shot, not for long-term maintenance.

More information about the isabelle-dev mailing list