Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] \isakeyword in bold?

view this post on Zulip Email Gateway (Mar 18 2021 at 10:15):

From: Tobias Nipkow <>
When I build "Programming and Proving in Isabelle/HOL"

isabelle build_doc prog-prove

in the resulting pdf the Isabelle keywords are no longer in sans serif and bold.
I am on d1c4c2395650 but I get a similar result when working with Isabelle2021
although the prog-prove.pdf that is shipped with the distribution is fine.

What do I need to do to get back the sans serif bold?


Last updated: Jan 25 2022 at 02:35 UTC