[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:

   http://www4.in.tum.de/~wenzelm/test/isa2009-1-test/installation.html

   * 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.)


 	Makarius



More information about the isabelle-dev mailing list