I finally got around to trying this out, the later one (38e225bd53e4), and it seems fine. But I would certainly replace Emacs by Aquamacs in the script. The former is very unpleasant to use (primarily due to poor integration with the OS), with no corresponding advantages that I can see.
Larry On 25 Jul 2012, at 15:22, Makarius wrote: > On Wed, 25 Jul 2012, Lawrence Paulson wrote: > >> What would be involved in testing your changesets? Is there some command to >> generate a Mac application? > > Yes, it is the Admin/MacOS/App1/mk script. > > The requirements are explained in Admin/MacOS/App1/README. > > This is all the information that you need, if you can read it between the > lines. E.g. interpret a URL as "download it from there" and then put it into > a standard place, i.e. /Applications not /My/Strange/Directory > > > Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
