[isabelle-dev] NEWS: New (co)datatype package is now in Main
makarius at sketis.net
Wed Jan 22 21:18:35 CET 2014
On Tue, 21 Jan 2014, Jasmin Christian Blanchette wrote:
> This brings the new (co)datatype package where we want it to be for the
> next release.
Great. This is a big step forward.
This is the season to write papers for ITP, not for thinking about the
next release, but I reckon that the date for Isabelle2014 will be related
to the conference: shortly after it, with a chance to get some last-minute
feedback from Isabelle users at Vienna.
More information about the isabelle-dev