[isabelle-dev] Isabelle release test website
makarius at sketis.net
Sun Apr 29 16:35:02 CEST 2012
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.
More information about the isabelle-dev