[isabelle-dev] Mac App

Makarius makarius at sketis.net
Wed Jul 25 16:22:20 CEST 2012

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 mailing list