| changeset 64556 | 851ae0e7b09c |
| parent 63676 | 88727334666e |
| child 67146 | 909dcdec2122 |
--- a/lib/texinputs/isabellesym.sty Mon Dec 12 17:40:06 2016 +0100 +++ b/lib/texinputs/isabellesym.sty Tue Dec 13 11:51:42 2016 +0100 @@ -370,3 +370,4 @@ \newcommand{\isactrlundefined}{\isakeyword{undefined}\ } \newcommand{\isactrlfile}{\isakeyword{file}\ } \newcommand{\isactrldir}{\isakeyword{dir}\ } +\newcommand{\isactrlhere}{\isakeyword{here}\ }