[isabelle-dev] Towards Isabelle2011 release
makarius at sketis.net
Mon Jan 17 11:01:08 CET 2011
On Sat, 15 Jan 2011, Makarius wrote:
> The actual test branch for Isabelle2011 will probably start within the
> next few days -- on a separate repository clone where submission of
> changesets works via email or pull only.
It looks like the point zero will be today, either in the afternoon or
evening (GMT). So this is the very last chance for small amendments on
the main Isabelle repository.
More information about the isabelle-dev