[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