[isabelle-dev] Isabelle2009 test version

Makarius makarius at sketis.net
Thu Apr 16 19:35:38 CEST 2009

The latest (and hopefully last) test version of the Isabelle2009 release 
is now available from 

The main changes:

   * Minor tuning of Sledgehammer's external prover invocation, to recover
     interruptibility of E prover 1.0.

   * Some tuning of the Mac OS application bundle, giving up .thy file type
     for now due to strange problems on very new versions of Mac OS.

See particularly the updated 
http://www4.in.tum.de/~wenzelm/test/website/installation.html which 
records the results of experiments on various platform combinations.


More information about the isabelle-dev mailing list