[isabelle-dev] Fork of Isabelle2013-1 release repository TODAY

Makarius makarius at sketis.net
Thu Oct 3 15:51:42 CEST 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 later in the 
evening that the fork has happened, so that we have a clear distinction 
what is meant for Isabelle2013-1 and what for the next release after it.


More information about the isabelle-dev mailing list