Am 22.01.2014 um 21:18 schrieb Makarius makar...@sketis.net:
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.
Thank you for your kind words.
I would like to
On Thu, 23 Jan 2014, Jasmin Blanchette wrote:
I would like to mention the central role played by Isabelle/jEdit for
refactoring the theories, in particular reorganizing the theory imports.
The Theories and Sidekick pannels were simply invaluable.
At some point I would like to see the theory
Great news! I hope to see a brief announcement paper illustrating some of the
new things that can be done. Or did you publish that last year?
Larry
On 21 Jan 2014, at 12:54, Jasmin Christian Blanchette
jasmin.blanche...@gmail.com wrote:
*** HOL ***
* Moved new (co)datatype package and its
Hi Larry,
Am 23.01.2014 um 14:38 schrieb Lawrence Paulson l...@cam.ac.uk:
Great news! I hope to see a brief announcement paper illustrating some of the
new things that can be done. Or did you publish that last year?
I believe you are on the committee of a conference where such a paper has
On Thu, 23 Jan 2014, Lawrence Paulson wrote:
I still use it sometimes, but it could be better. I don’t think the
quality of the layout is actually that important.
You can actually try the graphview right now by searching on this
mailing list, when it was announced. That quickly lead to the
