This is probably the last update of the test website
http://www4.in.tum.de/~wenzelm/test/website/ before official release
candidates for Isabelle2012 will be announced (also on isabelle-users).
The current plan for the deadline for point 0 (the repository fork) is
02-May-2012 -- I will announce it again to make sure that no changeset
gets in the wrong place in the critical moment.
Afterwards any important amendments need to be sent as individual
changesets to me via email.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
