[isabelle-dev] Towards Isabelle2011 release

Makarius makarius at sketis.net
Tue Jan 18 14:46:59 CET 2011

There is now a test release available here:


This is an opportunity to check that I did not forget anything important, 
both in the content of the website and the many add-on components.


More information about the isabelle-dev mailing list