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 _______________________________________________ Isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
