changeset 26778 | 378bdbce68e6 |
parent 26775 | 06d6b1242dcf |
child 26859 | b9ab6246765e |
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