# 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}}