[isabelle] Isabelle launcher for Macs

A new version is now available at <http://www.cl.cam.ac.uk/research/hvg/Isabelle/Cambridge/Isabelle.app.sitx >.

It adds Leopard compatibility.

Note that you still need to install Isabelle in the usual way. This launcher merely allows you to invoke Isabelle by double-clicking on a theory file.

Larry Paulson

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