[isabelle-dev] AFP 2009-1

Gerwin Klein gerwin.klein at nicta.com.au
Fri Dec 4 00:30:10 CET 2009

The Isabelle release seems to be ready, which means I can now prepare a new release version for APF (2009-1) as well.

If anybody has anything left to commit to the AFP development version that needs to go into the release, please let me know before Sat your local time.

If I'm not getting any emails I'll use the current tip (9f798e2ac101) as the basis for AFP 2009-1. Any commits after that will stay in development unless you tell me otherwise.


More information about the isabelle-dev mailing list