| changeset 63676 | 88727334666e |
| parent 63287 | 0835067b9b39 |
| child 64556 | 851ae0e7b09c |
--- a/lib/texinputs/isabellesym.sty Fri Aug 12 14:19:27 2016 +0200 +++ b/lib/texinputs/isabellesym.sty Fri Aug 12 15:25:25 2016 +0200 @@ -367,3 +367,6 @@ \newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}} \newcommand{\isasymcomment}{\isatext{---}} \newcommand{\isasymproof}{\isamath{\,\langle\mathit{proof}\rangle}} +\newcommand{\isactrlundefined}{\isakeyword{undefined}\ } +\newcommand{\isactrlfile}{\isakeyword{file}\ } +\newcommand{\isactrldir}{\isakeyword{dir}\ }