[isabelle-dev] AFP for 2009-2

Gerwin Klein gerwin.klein at nicta.com.au
Tue Jun 22 15:10:21 CEST 2010


With Isabelle 2009-2 almost out of the door, we can start preparing the AFP release for 2009-2 as well.

As usual, the plan is to take the current development version of AFP and make it the release version. We don't want to wait too long, because the Isabelle development version has started to diverge already for on entry. If you have anything that should be in the 2009-2 release, but that is not pushed to Sourceforge yet, please do so tomorrow. 

If that is not enough time, please let me know. 

Cheers,
Gerwin


More information about the isabelle-dev mailing list