[isabelle-dev] Isabelle release test website

Makarius 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 mailing list