changeset 26775 | 06d6b1242dcf |
parent 26767 | cc127cc0951b |
child 26778 | 378bdbce68e6 |
1.1 --- a/doc-src/IsarRef/style.sty Fri May 02 22:47:23 2008 +0200 1.2 +++ b/doc-src/IsarRef/style.sty Fri May 02 22:47:58 2008 +0200 1.3 @@ -44,6 +44,8 @@ 1.4 \newcommand{\isasymDEFINITION}{\isakeyword{definition}} 1.5 1.6 \isabellestyle{it} 1.7 +\renewcommand{\isacharunderscore}{\_} 1.8 +\renewcommand{\isacharunderscorekeyword}{\_} 1.9 1.10 %%% Local Variables: 1.11 %%% mode: latex