[isabelle-dev] Isabelle_14-Jan-2011

[Makarius]

There is now a pre-test snapshot of Isabelle_14-Jan-2011:

   http://www4.in.tum.de/~wenzelm/test/Isabelle_14-Jan-2011/download.html

Some fine points are still open, but it should basically work. This is the 
last chance to check if NEWS and CONTRIBUTORS are complete.

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.


 	Makarius