--- a/lib/texinputs/isabellesym.sty Tue Jan 09 19:25:01 2018 +0100
+++ b/lib/texinputs/isabellesym.sty Tue Jan 09 20:03:14 2018 +0100
@@ -364,7 +364,7 @@
\newcommand{\isasymclose}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}}
\newcommand{\isasymhole}{\isatext{\rm\wasylozenge}} %requires wasysym
\newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}}
-\newcommand{\isasymcomment}{\isatext{---}}
+\newcommand{\isasymcomment}{\isatext{\isastylecmt---}}
\newcommand{\isasymproof}{\isamath{\,\langle\mathit{proof}\rangle}}
\newcommand{\isactrlassert}{\isakeywordcontrol{assert}}