[isabelle-dev] Towards Isabelle2011 release

[Makarius]

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