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.
Larry 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. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
