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

[Makarius]

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.


 	Makarius