[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".
Makarius
More information about the isabelle-dev
mailing list