[isabelle-dev] Fork of Isabelle2013-1 release repository TODAY
makarius at sketis.net
Thu Oct 3 15:51:42 CEST 2013
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