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.)
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
