1.1 --- a/doc-src/IsarRef/style.sty	Sat Jul 28 15:21:49 2012 +0200
     1.2 +++ b/doc-src/IsarRef/style.sty	Sat Jul 28 18:20:47 2012 +0200
     1.3 @@ -40,6 +40,8 @@
     1.4  
     1.5  \isabellestyle{literal}
     1.6  
     1.7 +\newcommand{\isasymdash}{\isatext{\mbox{-}}}
     1.8 +
     1.9  \railtermfont{\isabellestyle{tt}}
    1.10  \railnontermfont{\isabellestyle{literal}}
    1.11  \railnamefont{\isabellestyle{literal}}