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
versions.

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

	Florian

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
--
Thomas Genet
ISTIC/IRISA
Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +33 (0) 2 99 84 73 44 E-mail: genet at irisa.fr
http://www.irisa.fr/celtique/genet




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