more LaTeX symbols;
authorwenzelm
Sat Mar 30 12:07:31 2019 +0100 (2 months ago)
changeset 700147a9c559bc518
parent 70013 6de8b7a5cd44
child 70015 c8e08d8ffb93
more LaTeX symbols;
lib/texinputs/isabellesym.sty
     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}}