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.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
