[isabelle-dev] UPDATE: Isabelle2009-1 test release

Makarius makarius at sketis.net
Sat Nov 28 00:57:33 CET 2009

Here is another refinement of packaging and installation:


   * There is now a generic "Isabelle bundle" with all the add-on
     tools preconfigured.  Thus it provides a quick and easy way to test
     sledgehammer (with "e" or "spass" prover), and Nitpick (although the
     latter does not work on Cygwin yet.)

   * The Mac OS application bundle now uses Aquamacs again.  (Its problems
     seem to be better understood than those of Carbon Emacs.)


More information about the isabelle-dev mailing list