[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 
http://www4.in.tum.de/~wenzelm/test/isabelle/

This is isa2009-2-test3 according to the history recorded at 
http://isabelle.in.tum.de/repos/isabelle-release

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


 	Makarius



More information about the isabelle-dev mailing list