Dear all,
in the past few weeks the coming release has been mentioned in passing
several times. So far the precise schedule is not clear, but just from
the distance to Isabelle2013 and the amount of material that is about to
be finished for Isabelle2013-1, it has to be rather soon after the summer.
Since Isabelle is a huge and complex system, things that are relevant for
a release need to be known well in advance. (Even such seemingly trivial
reforms like subscripts in identifiers have taken much longer than
anticipated and are not finished yet.)
So the time to point out further issues or pending projects is now --
apart from the well-known HOL-BNF and PIDE improvements that are already
underway. In general there is no reason to rush anything on any
particular release train, since they are rather frequent anyway. A
release is a limit point of consolidation -- the really new things happen
after it.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
