[isabelle-dev] NEWS: New (co)datatype package is now in Main

Makarius 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 mailing list