[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:

   http://www4.in.tum.de/~wenzelm/test/isa2011-test1/

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.


 	Makarius



More information about the isabelle-dev mailing list