[isabelle-dev] Towards the Isabelle2014 release

Makarius makarius at sketis.net
Sat Jul 26 10:47:14 CEST 2014

On Mon, 21 Jul 2014, Makarius wrote:

> This means the main Isabelle repository needs to converge for the release 
> fork, presumably on Sunday 27-Jul-2014.

The situation looks good at the moment (5b652fd305d4).  The fork to the 
release repository is planned for Sunday afternoon.


More information about the isabelle-dev mailing list