--- a/lib/texinputs/isabellesym.sty Sun Jan 28 19:28:52 2018 +0100
+++ b/lib/texinputs/isabellesym.sty Mon Jan 29 11:18:26 2018 +0100
@@ -384,6 +384,7 @@
\newcommand{\isactrlfile}{\isakeywordcontrol{file}}
\newcommand{\isactrlhere}{\isakeywordcontrol{here}}
\newcommand{\isactrlkeyword}{\isakeywordcontrol{keyword}}
+\newcommand{\isactrllatex}{\isakeywordcontrol{latex}}
\newcommand{\isactrllocale}{\isakeywordcontrol{locale}}
\newcommand{\isactrlmakeUNDERSCOREstring}{\isakeywordcontrol{make{\isacharunderscore}string}}
\newcommand{\isactrlmethod}{\isakeywordcontrol{method}}