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