# HG changeset patch # User wenzelm # Date 1553944051 -3600 # Node ID 7a9c559bc518639b20eae94b4a5af409f4601798 # Parent 6de8b7a5cd4429a10dc4c4035f62383aa71a47c4 more LaTeX symbols; diff -r 6de8b7a5cd44 -r 7a9c559bc518 lib/texinputs/isabellesym.sty --- a/lib/texinputs/isabellesym.sty Fri Mar 29 16:53:46 2019 +0100 +++ b/lib/texinputs/isabellesym.sty Sat Mar 30 12:07:31 2019 +0100 @@ -389,6 +389,7 @@ \newcommand{\isactrllatex}{\isakeywordcontrol{latex}} \newcommand{\isactrllocale}{\isakeywordcontrol{locale}} \newcommand{\isactrlmakeUNDERSCOREstring}{\isakeywordcontrol{make{\isacharunderscore}string}} +\newcommand{\isactrlmasterUNDERSCOREdir}{\isakeywordcontrol{master{\isacharunderscore}dir}} \newcommand{\isactrlmethod}{\isakeywordcontrol{method}} \newcommand{\isactrlnamedUNDERSCOREtheorems}{\isakeywordcontrol{named{\isacharunderscore}theorems}} \newcommand{\isactrlnonterminal}{\isakeywordcontrol{nonterminal}}