[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