# HG changeset patch
# User wenzelm
# Date 1517221106 -3600
# Node ID ed9bc7c2d8de695e05d89234c4f8c64a0f26cd4e
# Parent  9e712280cc372088fea92157c51f3adeb8a61660
proper fall-back rendering of control symbol;

diff -r 9e712280cc37 -r ed9bc7c2d8de lib/texinputs/isabellesym.sty
--- 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}}