waynee95 (Nov 06 2022 at 12:52): waynee95 (Nov 06 2022 at 12:52):I would like to have Isabelle code in monospace font for pdf documents rendered from Isabelle files. I feel it would be a bit more readable. I have seen a few thesis and documents that have monospace for but I am not quite sure how to make that work.
I tried to look at the Isabelle source files but I have yet to find the right LaTeX code.
Here's an example image.png
Christoph Madlener (Nov 06 2022 at 17:51):I think the following should give you output like in your example:
\usepackage{isabelle,isabellesym}
\isabellestyle{tt}
There are some more styles in isabelle.sty but I haven't tried them.
waynee95 (Nov 06 2022 at 20:09):@Christoph Madlener Yes, that's what I tried but putting \isabellestyle{tt} in the root.tex file didn't change anything
Christoph Madlener (Nov 06 2022 at 21:20):Hm, that works for me. I guess you aware that there is already a \isabellestyle{it} in root.tex by default (assuming you used isabelle mkroot)? Otherwise, I can't say what's going wrong with your setup.
waynee95 (Nov 06 2022 at 22:37):@Christoph Madlener It might be the case that I didn't delete the other one and put it before it by accident. I have to clean up the preamble... Thanks for pointing that out, will take another look at it tomorrow.
Yes, that's what I used.
Last updated: Dec 21 2024 at 16:20 UTC