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 <nipkow@in.tum.de>
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?

Tobias
smime.p7s


Last updated: Jul 15 2022 at 23:21 UTC