[isabelle-dev] Mac App
lp15 at cam.ac.uk
Sun Jul 29 11:00:57 CEST 2012
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.
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
More information about the isabelle-dev