Stream: Beginner Questions

Topic: Have isabelle code in monospace font in pdf output


view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip 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: Feb 27 2024 at 08:17 UTC