Re: [isabelle] Code generation

Tom Ridge wrote:
*** get_type_id: no such type: "stlc.t"
*** At command "code_module".

Can someone confirm this?

Dear Tom,

this is a bug that has already been fixed in the development
snapshot of Isabelle.


Dr. Stefan Berghofer               E-Mail: berghofe at
Institut fuer Informatik           Phone: +49 89 289 17328
Technische Universitaet Muenchen   Fax:   +49 89 289 17307
Boltzmannstr. 3                    Room: 01.11.059
85748 Garching, GERMANY  

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.