[isabelle-dev] Isabelle release

Makarius makarius at sketis.net
Mon Jun 2 14:15:52 CEST 2008

This is just a reminder that the time for non-essential changes to ML and 
thy sources has already run out last week!

There are still a few days to work on the manuals -- without changing the 
main theory sources of the underlying library, though.


More information about the isabelle-dev mailing list