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
