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

Makarius 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 mailing list