[isabelle-dev] Announcing Isabelle work: Access Modifiers for Scala Code Generator

Makarius makarius at sketis.net
Mon May 13 15:16:13 CEST 2013

On Sat, 4 May 2013, Florian Haftmann wrote:

>> Since this feature has already been implemented for the Haskell code
>> generator by Yukata, I'm hoping this will be straightforward and if
>> the maintainers are interested, the feature can be taken on into
>> Isabelle 2014.

I am myself not involved in the code generator framework, but the release 
management.  Isabelle releases happen every 6-10 months, so the next one 
is very likely to happen within the year 2013, not 2014.  There are still 
no specific plans right now.

The general principle is that things that are finished on time (2 months 
before the release train departs) are "in", things that are not finished 
are "out".


More information about the isabelle-dev mailing list