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