[isabelle-dev] Towards the next Isabelle release

Makarius makarius at sketis.net
Thu Jun 3 18:55:27 CEST 2010


Test 0 is now available here: http://www4.in.tum.de/~wenzelm/test/isabelle

The packages should be all there, but the website still needs further 
polishing.


 	Makarius



More information about the isabelle-dev mailing list