[isabelle-dev] Mac App

[Lawrence Paulson]

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