[isabelle-dev] Fork of Isabelle2013 release repository TODAY

Makarius makarius at sketis.net
Sun Jan 20 14:36:36 CET 2013

Dear all,

the fork of the isabelle-release repository will happen today.

Before preparing further commits for the post-release version of the main 
Isabelle repository, please await the second announcement (anticipated in 
the evening) that the fork has happened.


More information about the isabelle-dev mailing list