[isabelle-dev] Fork of Isabelle2013-1 release repository TODAY
makarius at sketis.net
Tue Oct 15 19:54:42 CEST 2013
On Tue, 15 Oct 2013, Makarius wrote:
> * isabelle-dev is in post release mode (after Isabelle2013-1), like the
> main repository.
This wording might be misunderstood once again. It means isabelle-dev and
the main Isabelle repository are *now* in post release mode, for whatever
release comes *after* Isabelle2013-1.
More information about the isabelle-dev