[isabelle-dev] Isabelle2009 test version
Makarius
makarius at sketis.net
Wed Apr 15 19:29:35 CEST 2009
On Wed, 15 Apr 2009, Makarius wrote:
> see http://www4.in.tum.de/~wenzelm/test/website/dist/Isabelle.dmg.gz
I have ironed out a few minor issues and updated that file. Main changes:
* Use Aquamacs instead of Carbon Emacs. Aquamacs appears to be
better maintained and works more smoothly with the unicode math mode.
* Proper setup for .thy file type for Isabelle.app
* Support for x86 and ppc ("universal binary"). Are there any PPC users
to test this?
Makarius
More information about the isabelle-dev
mailing list