Re: [isabelle] code_include in Isabelle2014?
Le 15/09/14 21:11, Florian Haftmann a écrit :
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
Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +33 (0) 2 99 84 73 44 E-mail: genet at irisa.fr
This archive was generated by a fusion of
Pipermail (Mailman edition) and