Re: [isabelle] Isabelle2014-RC0 available for testing

VSL 2014 has ended today, and the special test version Isabelle2014-RC0 is about to converge towards the first official release candidate Isabelle2014-RC1 very soon.

As far as I can foresee now, it will be ready for general testing on Sunday or Monday -- I am myself very busy in the week afterwards.

Stay tuned ...


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