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
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.
@Christoph Madlener Yes, that's what I tried but putting \isabellestyle{tt}
in the root.tex
file didn't change anything
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.
@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 07 2024 at 16:22 UTC