[isabelle-dev] Isabelle_14-Jan-2011

Makarius makarius at sketis.net
Sat Jan 15 00:52:46 CET 2011

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


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.


More information about the isabelle-dev mailing list