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.



PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

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