# HG changeset patch
# User wenzelm
# Date 1515524594 -3600
# Node ID b591933d39eca65efbe4d45293e78decf1b4f0db
# Parent  be88c2bc8a455b2544fbe078c9967d80fd2a7e26
uniform typesetting of \isamarkupcmt and \isasymcomment;

diff -r be88c2bc8a45 -r b591933d39ec lib/texinputs/isabellesym.sty
--- 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}}