Email Gateway (Aug 19 2022 at 15:50): Email Gateway (Aug 19 2022 at 15:50):From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
Hi Thomas,
this deed indeed slip out of focus there. Sorry for this.
Florian
P. S. Thanks for promoting Scala code generation in education.
signature.asc
Email Gateway (Aug 19 2022 at 15:50):From: Thomas Genet <thomas.genet@irisa.fr>
Dear Florian,
You are welcome :-)
Thank you very much to you for developping and maintaining this very
nice stuff!!
Best Regards,
Thomas
Email Gateway (Aug 19 2022 at 16:05):From: Thomas Genet <thomas.genet@irisa.fr>
Dear all,
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.
Thanks in advance,
Thomas
Email Gateway (Aug 19 2022 at 16:05):From: Andreas Lochbihler <andreas.lochbihler@inf.ethz.ch>
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>}
Andreas
Email Gateway (Aug 19 2022 at 16:05):From: Thomas Genet <thomas.genet@irisa.fr>
OK. Thanks again Andreas.
In the news it is said that
"'code_printing' unifies 'code_const' / 'code_type' / 'code_class' /
'code_instance'."
but nothing is said about code_include...
Best regards,
Thomas
Last updated: Apr 26 2024 at 16:20 UTC