1.1 --- a/doc-src/IsarRef/style.sty	Fri May 02 22:49:53 2008 +0200
     1.2 +++ b/doc-src/IsarRef/style.sty	Sat May 03 13:25:27 2008 +0200
     1.3 @@ -46,6 +46,7 @@
     1.4  \isabellestyle{it}
     1.5  \renewcommand{\isacharunderscore}{\_}
     1.6  \renewcommand{\isacharunderscorekeyword}{\_}
     1.7 +\newcommand{\isasymdash}{\mbox{-}}
     1.8  
     1.9  %%% Local Variables: 
    1.10  %%% mode: latex