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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
