[isabelle] Isabelle launcher for Macs



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

http://www.cl.cam.ac.uk/Research/HVG/Isabelle/Isabelle.app.sit

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.

Larry







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