Re: [isabelle] code_include in Isabelle2014?

Dear Florian,

Le 15/09/14 21:11, Florian Haftmann a écrit :
Hi Thomas,

is there a replacement command for "code_include" that was present in
Isabelle2012 (at least).

I did not see anything about this in the cumulative NEWS on Isabelle

this deed indeed slip out of focus there.  Sorry for this.


P. S. Thanks for promoting Scala code generation in education.

You are welcome :-)

Thank you very much to you for developping and maintaining this very nice stuff!!

Best Regards,

Thomas Genet
Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +33 (0) 2 99 84 73 44 E-mail: genet at

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