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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
