[isabelle] Isabelle launcher for Macs

Mac users may want to get a new copy of the Isabelle launcher:


This very small file (Stuffit encoded) expands to an application. This version gives .thy files a suitable icon. Opening a .thy file using Isabelle.app runs your existing Isabelle installation. It searches for this using your PATH, augmented with $HOME/isabelle/bin.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.