[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
This archive was generated by a fusion of
Pipermail (Mailman edition) and