Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle launcher for Macs

Email Gateway (Aug 18 2022 at 11:08):

From: Lawrence Paulson <lp15@cam.ac.uk>
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

Last updated: May 03 2024 at 04:19 UTC