[isabelle-dev] The coming release

Makarius makarius at sketis.net
Sat Aug 17 16:05:11 CEST 2013


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


More information about the isabelle-dev mailing list