equal
deleted
inserted
replaced
392 \newcommand{\isactrlmasterUNDERSCOREdir}{\isakeywordcontrol{master{\isacharunderscore}dir}} |
392 \newcommand{\isactrlmasterUNDERSCOREdir}{\isakeywordcontrol{master{\isacharunderscore}dir}} |
393 \newcommand{\isactrlmethod}{\isakeywordcontrol{method}} |
393 \newcommand{\isactrlmethod}{\isakeywordcontrol{method}} |
394 \newcommand{\isactrlnamedUNDERSCOREtheorems}{\isakeywordcontrol{named{\isacharunderscore}theorems}} |
394 \newcommand{\isactrlnamedUNDERSCOREtheorems}{\isakeywordcontrol{named{\isacharunderscore}theorems}} |
395 \newcommand{\isactrlnonterminal}{\isakeywordcontrol{nonterminal}} |
395 \newcommand{\isactrlnonterminal}{\isakeywordcontrol{nonterminal}} |
396 \newcommand{\isactrlpath}{\isakeywordcontrol{path}} |
396 \newcommand{\isactrlpath}{\isakeywordcontrol{path}} |
|
397 \newcommand{\isactrlpathUNDERSCOREbinding}{\isakeywordcontrol{path{\isacharunderscore}binding}} |
397 \newcommand{\isactrlplugin}{\isakeywordcontrol{plugin}} |
398 \newcommand{\isactrlplugin}{\isakeywordcontrol{plugin}} |
398 \newcommand{\isactrlprint}{\isakeywordcontrol{print}} |
399 \newcommand{\isactrlprint}{\isakeywordcontrol{print}} |
399 \newcommand{\isactrlprop}{\isakeywordcontrol{prop}} |
400 \newcommand{\isactrlprop}{\isakeywordcontrol{prop}} |
400 \newcommand{\isactrlsimproc}{\isakeywordcontrol{simproc}} |
401 \newcommand{\isactrlsimproc}{\isakeywordcontrol{simproc}} |
401 \newcommand{\isactrlsort}{\isakeywordcontrol{sort}} |
402 \newcommand{\isactrlsort}{\isakeywordcontrol{sort}} |