lib/texinputs/isabellesym.sty
changeset 74568 7f311d474cf9
parent 74433 ec1774613824
child 74570 7625b5d7cfe2
equal deleted inserted replaced
74567:40910c47d7a1 74568:7f311d474cf9
   444 \newcommand{\isactrldir}{\isakeywordcontrol{dir}}
   444 \newcommand{\isactrldir}{\isakeywordcontrol{dir}}
   445 \newcommand{\isactrlfile}{\isakeywordcontrol{file}}
   445 \newcommand{\isactrlfile}{\isakeywordcontrol{file}}
   446 \newcommand{\isactrlhere}{\isakeywordcontrol{here}}
   446 \newcommand{\isactrlhere}{\isakeywordcontrol{here}}
   447 \newcommand{\isactrlkeyword}{\isakeywordcontrol{keyword}}
   447 \newcommand{\isactrlkeyword}{\isakeywordcontrol{keyword}}
   448 \newcommand{\isactrllatex}{\isakeywordcontrol{latex}}
   448 \newcommand{\isactrllatex}{\isakeywordcontrol{latex}}
       
   449 \newcommand{\isactrllet}{\isakeywordcontrol{let}}
   449 \newcommand{\isactrllocale}{\isakeywordcontrol{locale}}
   450 \newcommand{\isactrllocale}{\isakeywordcontrol{locale}}
   450 \newcommand{\isactrlmakeUNDERSCOREjudgment}{\isakeywordcontrol{make{\isacharunderscore}judgment}}
   451 \newcommand{\isactrlmakeUNDERSCOREjudgment}{\isakeywordcontrol{make{\isacharunderscore}judgment}}
   451 \newcommand{\isactrldestUNDERSCOREjudgment}{\isakeywordcontrol{dest{\isacharunderscore}judgment}}
   452 \newcommand{\isactrldestUNDERSCOREjudgment}{\isakeywordcontrol{dest{\isacharunderscore}judgment}}
   452 \newcommand{\isactrlmakeUNDERSCOREstring}{\isakeywordcontrol{make{\isacharunderscore}string}}
   453 \newcommand{\isactrlmakeUNDERSCOREstring}{\isakeywordcontrol{make{\isacharunderscore}string}}
   453 \newcommand{\isactrlmasterUNDERSCOREdir}{\isakeywordcontrol{master{\isacharunderscore}dir}}
   454 \newcommand{\isactrlmasterUNDERSCOREdir}{\isakeywordcontrol{master{\isacharunderscore}dir}}