more LaTeX symbols;
authorwenzelm
Sat, 30 Mar 2019 12:07:31 +0100
changeset 70196 7a9c559bc518
parent 70195 6de8b7a5cd44
child 70197 c8e08d8ffb93
more LaTeX symbols;
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}}