equal
deleted
inserted
replaced
387 \newcommand{\isactrlhere}{\isakeywordcontrol{here}} |
387 \newcommand{\isactrlhere}{\isakeywordcontrol{here}} |
388 \newcommand{\isactrlkeyword}{\isakeywordcontrol{keyword}} |
388 \newcommand{\isactrlkeyword}{\isakeywordcontrol{keyword}} |
389 \newcommand{\isactrllatex}{\isakeywordcontrol{latex}} |
389 \newcommand{\isactrllatex}{\isakeywordcontrol{latex}} |
390 \newcommand{\isactrllocale}{\isakeywordcontrol{locale}} |
390 \newcommand{\isactrllocale}{\isakeywordcontrol{locale}} |
391 \newcommand{\isactrlmakeUNDERSCOREstring}{\isakeywordcontrol{make{\isacharunderscore}string}} |
391 \newcommand{\isactrlmakeUNDERSCOREstring}{\isakeywordcontrol{make{\isacharunderscore}string}} |
|
392 \newcommand{\isactrlmasterUNDERSCOREdir}{\isakeywordcontrol{master{\isacharunderscore}dir}} |
392 \newcommand{\isactrlmethod}{\isakeywordcontrol{method}} |
393 \newcommand{\isactrlmethod}{\isakeywordcontrol{method}} |
393 \newcommand{\isactrlnamedUNDERSCOREtheorems}{\isakeywordcontrol{named{\isacharunderscore}theorems}} |
394 \newcommand{\isactrlnamedUNDERSCOREtheorems}{\isakeywordcontrol{named{\isacharunderscore}theorems}} |
394 \newcommand{\isactrlnonterminal}{\isakeywordcontrol{nonterminal}} |
395 \newcommand{\isactrlnonterminal}{\isakeywordcontrol{nonterminal}} |
395 \newcommand{\isactrlpath}{\isakeywordcontrol{path}} |
396 \newcommand{\isactrlpath}{\isakeywordcontrol{path}} |
396 \newcommand{\isactrlplugin}{\isakeywordcontrol{plugin}} |
397 \newcommand{\isactrlplugin}{\isakeywordcontrol{plugin}} |