Zixuan Fan (Jun 01 2023 at 13:52): Zixuan Fan (Jun 01 2023 at 13:52):Hi, I just started to try to include isabelle code snippets into my latex file. I noticed that it is possible to do this in a rather automatic way as introduced in this sugar file.
Are colored keywords also supported in this approach? I searched for color in the isabelle.sty and isabellesymb.sty files, but found none. If it is not supported, does anyone have any suggestions for realizing this functionality?
Last updated: Apr 27 2024 at 16:16 UTC