[isabelle-dev] Towards Isabelle2011 release

Makarius 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 mailing list