[isabelle-dev] Towards the next Isabelle release

Makarius makarius at sketis.net
Tue Jun 15 19:14:45 CEST 2010

An updated version of the test release is again available from 

This is isa2009-2-test3 according to the history recorded at 

There are only very few changes, which means we should basically converge 
rather fast to the official release, but I am right now visiting Cambridge 
for the isabelle-dev workshop.  The participants will have one last 
opportunity to break that version :-)


More information about the isabelle-dev mailing list