lib/texinputs/isabellesym.sty
changeset 70014 7a9c559bc518
parent 69915 57a41389d0e2
child 70015 c8e08d8ffb93
     1.1 --- a/lib/texinputs/isabellesym.sty	Fri Mar 29 16:53:46 2019 +0100
     1.2 +++ b/lib/texinputs/isabellesym.sty	Sat Mar 30 12:07:31 2019 +0100
     1.3 @@ -389,6 +389,7 @@
     1.4  \newcommand{\isactrllatex}{\isakeywordcontrol{latex}}
     1.5  \newcommand{\isactrllocale}{\isakeywordcontrol{locale}}
     1.6  \newcommand{\isactrlmakeUNDERSCOREstring}{\isakeywordcontrol{make{\isacharunderscore}string}}
     1.7 +\newcommand{\isactrlmasterUNDERSCOREdir}{\isakeywordcontrol{master{\isacharunderscore}dir}}
     1.8  \newcommand{\isactrlmethod}{\isakeywordcontrol{method}}
     1.9  \newcommand{\isactrlnamedUNDERSCOREtheorems}{\isakeywordcontrol{named{\isacharunderscore}theorems}}
    1.10  \newcommand{\isactrlnonterminal}{\isakeywordcontrol{nonterminal}}