lib/texinputs/isabelle.sty

--- a/lib/texinputs/isabelle.sty	Fri Dec 27 19:57:55 2024 +0100
+++ b/lib/texinputs/isabelle.sty	Sat Dec 28 15:43:30 2024 +0100
@@ -154,6 +154,8 @@
 \newcommand{\isakeywordONE}[1]{\isakeyword{#1}}
 \newcommand{\isakeywordTWO}[1]{\isakeyword{#1}}
 \newcommand{\isakeywordTHREE}[1]{\isakeyword{#1}}
+\newcommand{\isaliteral}[1]{#1}
+\newcommand{\isadelimiter}[1]{#1}
 \newcommand{\isatclass}[1]{#1}
 \newcommand{\isatconst}[1]{#1}
 \newcommand{\isatfree}[1]{#1}