Re: [isabelle] 2013-1-RC1: how to put generated Scala into a package without using code_include?



> No, code_printing code_module can deal only with fixed strings. It is
> just a new front-end syntax for the same underlying machinery of
> code_include.
> 
> @Florian: Please correct me if I am wrong.

It's correct, although the introducing »No« confuses me.

	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Attachment: signature.asc
Description: OpenPGP digital signature



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