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

[Makarius]

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.


 	Makarius