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

Makarius makarius at sketis.net
Fri Nov 27 00:54:43 CET 2009

Here is an updated version of the Isabelle2009-1 test release (based on 
version 14ff44e21bec):


There are very few changes in Isabelle itself, but the packaging is more 
complete, with a fully updated version of 

Users of Mac OS might be particularly interested in the current result of 
the struggle with Proof General and Emacs on that platform:


This is a one-stop-shop.  It is supposed to run "without further ado".


More information about the isabelle-dev mailing list