--- a/lib/texinputs/isabelle.sty Sun Mar 21 23:56:54 2021 +0100
+++ b/lib/texinputs/isabelle.sty Mon Mar 22 00:07:55 2021 +0100
@@ -39,7 +39,7 @@
\DeclareRobustCommand{\isactrlesup}{\egroup\egroup\endmath\egroup}
\newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}}
-%blackboard-bold (requires font txmia from txfonts)
+%blackboard-bold (requires font txmia from pxfonts)
\DeclareSymbolFont{bbbfont}{U}{txmia}{m}{it}
\SetSymbolFont{bbbfont}{bold}{U}{txmia}{bx}{it}
\DeclareMathSymbol{\bbbA}{\mathord}{bbbfont}{129}