[isabelle-dev] The coming release
makarius at sketis.net
Mon Sep 30 12:40:10 CEST 2013
this is the last call for small amendments and finalization on the main
Unless there are any last-minute surprises, the fork for Isabelle2013-1
will happen Thu 03-Oct-2013.
This means the history of the official release will continue on
https://bitbucket.org/isabelle_project/isabelle-release while release
candiates are published on isabelle-users.
Right after the fork, the main Isabelle repository continues its way
towards subsequent releases, independently of Isabelle2013-1. The release
fork will be merged back when final release has been published.
More information about the isabelle-dev