[isabelle-dev] Isabelle2013-2 release

Lawrence Paulson lp15 at cam.ac.uk
Wed Nov 20 23:59:36 CET 2013


I’m not sure that we need to rush into a new release immediately.

Yes, warn the mailing list, but leave time for other problems to be reported.

Are there options that would reveal instances of this problem?

Larry

On 20 Nov 2013, at 21:49, Makarius <makarius at sketis.net> wrote:

> We have a problem with Isabelle2013-1 that cannot be ignored.  A changeset is included for information.
> 
> Are there any side-conditions on the timing of a follow-up Isabelle2013-2, e.g. concerning AFP which needs to be updated once more?
> 
> I am basically ready to ship a new release within a few days +/-.  To make it not too odd, we could wait until the start of December and label it "Isabelle2013-2 (December 2013)", following right after "Isabelle2013-1 (November 2013)".
> 
> 
> The problem was introduced by myself early in September, before wrapping up for the Isabelle2013-1 release.  These are more than two months without anybody noticing.
> 
> Are there any other potential problems of Isabelle2013-1 that were not reported yet?  (Did anybody test WWW_Find?)
> 
> In ancient times the system was much less complex and more people were actively involved in the release -- and these people were sharing a few adjacent offices and the lunch table.  The situation is quite different today.  There is also an increasing cultural problem, because the very notion of "stable software release" is getting lost in the younger generation. In fact the very term often sounds like an oxymoron now.
> 
> (When this is finished I need to look for a stable Linux release for my own machine.  Xubuntu greets me with crash report on every login.  Maybe the rock-solid Centos will do.)
> 
> 
> 	Makarius<ch.txt>_______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev




More information about the isabelle-dev mailing list