[isabelle-dev] Isabelle release test website

[Makarius]

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