author | wenzelm |
Fri, 02 May 2008 22:47:58 +0200 | |
changeset 26775 | 06d6b1242dcf |
parent 26774 | e258050a3076 |
child 26776 | 030db8c8b79d |
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