[isabelle-dev] Bug report: code generation with class constant called "open"

Brian Huffman brianh at cs.pdx.edu
Mon Jun 8 16:56:06 CEST 2009


On Mon, Jun 8, 2009 at 12:20 AM, Florian
Haftmann<florian.haftmann at informatik.tu-muenchen.de> wrote:
>> thanks for reporting this.  I hope to eliminate this problem within this
>> day.
>
> http://isabelle.in.tum.de/repos/isabelle/shortlog
>
> Done
>        Florian

It works - thanks!

- Brian



More information about the isabelle-dev mailing list