Email Gateway (Mar 18 2021 at 10:15): 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: Jan 04 2025 at 20:18 UTC