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.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
