Re: [isabelle] code_include in Isabelle2014?

Le 11/09/14 11:40, Andreas Lochbihler a écrit :
Hi Thomas,

This is now subsumed by code_printing with the category code_module.

code_printing code_module <name of the module> \<rightharpoonup>
(<language>) {*<text>*}

OK. Thanks again Andreas.

In the news it is said that

"'code_printing' unifies 'code_const' / 'code_type' / 'code_class' /

but nothing is said about code_include...

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.