--- a/doc-src/IsarImplementation/style.sty Tue May 03 21:18:43 2011 +0200
+++ b/doc-src/IsarImplementation/style.sty Tue May 03 21:29:25 2011 +0200
@@ -64,15 +64,9 @@
\newcommand{\isasymTHEOREM}{\isakeyword{theorem}}
\newcommand{\isasymDEFINITION}{\isakeyword{definition}}
-\isabellestyle{it}
+\isabellestyle{itunderscore}
\newcommand{\isasymdash}{\mbox{-}}
-\underscoreon
-\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
+\railtermfont{\isabellestyle{tt}}
+\railnontermfont{\isabellestyle{itunderscore}}
+\railnamefont{\isabellestyle{itunderscore}}
--- a/doc-src/IsarRef/style.sty Tue May 03 21:18:43 2011 +0200
+++ b/doc-src/IsarRef/style.sty Tue May 03 21:29:25 2011 +0200
@@ -36,15 +36,9 @@
\parindent 0pt\parskip 0.5ex
-\isabellestyle{it}
+\isabellestyle{itunderscore}
\newcommand{\isasymdash}{\mbox{-}}
-\underscoreon
-\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
+\railtermfont{\isabellestyle{tt}}
+\railnontermfont{\isabellestyle{itunderscore}}
+\railnamefont{\isabellestyle{itunderscore}}