[isabelle-dev] The coming release

Makarius makarius at sketis.net
Mon Sep 30 12:40:10 CEST 2013


Dear all,

this is the last call for small amendments and finalization on the main 
Isabelle repository.

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.


 	Makarius



More information about the isabelle-dev mailing list