[isabelle-dev] Towards the next release

Makarius makarius at sketis.net
Tue Nov 20 14:41:07 CET 2012

Dear all,

exactly 6 months after the last release, we have to start thinking 
seriously about the next one.  This involves consolidation of what was 
added in the past few months, or before the last release and did not get 
consolidated properly (like nested contexts on my side).

As far as I can see at the moment, the main areas of consolidation for 
myself are the following:

   * Isabelle/jEdit in its 3rd official stable release

   * context/bundle issues that have accumulated over the past few months

   * fine points about build and browser_info/HTML output

Another important issue, where I am myself not involved but can still give 
some hints is Proof General.  How will it be bundled this time, which 
version of it and which versions of Emacs supported? Traditionally, I've 
spent myself 2-3 weeks before each release on such questions, but omitted 
it the last 2 times (where I mostly consolidated the distribution as a 
whole and made it work smoothly for Windows instead).

What other pending projects and things in our long pipe-line system need 
to be taken into account?  The time to sort this out is now, not 2 weeks 
before shipment of the release.  (I reckon that we can target Jan/Feb 2013 
for lift-off.)


More information about the isabelle-dev mailing list