# HG changeset patch
# User wenzelm
# Date 1664217619 -7200
# Node ID e44e044dadb3aa90974246c2bbcc077bff543c8e
# Parent  365f6a621fc5a69357360226100319bfc04a9c27
provide missing LaTeX macro, e.g. for AFP/PAC_Checker;

diff -r 365f6a621fc5 -r e44e044dadb3 lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Mon Sep 26 11:30:44 2022 +0200
+++ b/lib/texinputs/isabellesym.sty	Mon Sep 26 20:40:19 2022 +0200
@@ -480,6 +480,7 @@
 \newcommand{\isactrlundefined}{\isakeywordcontrol{undefined}}
 \newcommand{\isactrltvar}{\isakeywordcontrol{tvar}}
 \newcommand{\isactrlvar}{\isakeywordcontrol{var}}
+\newcommand{\isactrlverbatim}{\isakeywordcontrol{verbatim}}
 \newcommand{\isactrlConst}{\isakeywordcontrol{Const}}
 \newcommand{\isactrlConstUNDERSCORE}{\isakeywordcontrol{Const{\isacharunderscore}}}
 \newcommand{\isactrlConstUNDERSCOREfn}{\isakeywordcontrol{Const{\isacharunderscore}fn}}