[isabelle] Isabelle2013 release candidates vs. ITP deadline

People who are about to finish their ITP paper for today/tomorrow can refer to any of the Isabelle2013 release candidates as


if this is required for the paper. I will leave the RC websites there for several more weeks, until after the notification of ITP 2013, but not much longer. Then http://isabelle.in.tum.de/website-Isabelle2013 will become the only definitive version.

Note that in general, URLs like http://isabelle.in.tum.de/website-Isabelle2012 are useful to refer to certain Isabelle versions more permanently that "the" latest release. The TUM server still has them back to Isabelle2008.

I will announce Isabelle2013-RC3 soon, to give people who were very busy writing their ITP papers another chance to join the final testing.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.