--- a/doc-src/IsarImplementation/style.sty Tue May 03 15:29:49 2011 +0200
+++ b/doc-src/IsarImplementation/style.sty Tue May 03 15:35:07 2011 +0200
@@ -65,7 +65,14 @@
\newcommand{\isasymDEFINITION}{\isakeyword{definition}}
\isabellestyle{it}
+\newcommand{\isasymdash}{\mbox{-}}
+
\underscoreon
-\renewcommand{\isacharunderscore}{\_}
-\renewcommand{\isacharunderscorekeyword}{\_}
-\newcommand{\isasymdash}{\mbox{-}}
+\newcommand{\setupunderscore}{\def\isacharunderscore{\_}\def\isacharunderscorekeyword{\_}}
+\setupunderscore
+
+\makeatletter
+\def\rail@termfont{\isabellestyle{tt}\setupunderscore}
+\def\rail@nontfont{\isabellestyle{it}\setupunderscore}
+\def\rail@namefont{\isabellestyle{it}\setupunderscore}
+\makeatother