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