1.1 --- a/doc-src/IsarImplementation/style.sty	Tue May 03 21:18:43 2011 +0200
     1.2 +++ b/doc-src/IsarImplementation/style.sty	Tue May 03 21:29:25 2011 +0200
     1.3 @@ -64,15 +64,9 @@
     1.4  \newcommand{\isasymTHEOREM}{\isakeyword{theorem}}
     1.5  \newcommand{\isasymDEFINITION}{\isakeyword{definition}}
     1.6  
     1.7 -\isabellestyle{it}
     1.8 +\isabellestyle{itunderscore}
     1.9  \newcommand{\isasymdash}{\mbox{-}}
    1.10  
    1.11 -\underscoreon
    1.12 -\newcommand{\setupunderscore}{\def\isacharunderscore{\_}\def\isacharunderscorekeyword{\_}}
    1.13 -\setupunderscore
    1.14 -
    1.15 -\makeatletter
    1.16 -\def\rail@termfont{\isabellestyle{tt}\setupunderscore}
    1.17 -\def\rail@nontfont{\isabellestyle{it}\setupunderscore}
    1.18 -\def\rail@namefont{\isabellestyle{it}\setupunderscore}
    1.19 -\makeatother
    1.20 +\railtermfont{\isabellestyle{tt}}
    1.21 +\railnontermfont{\isabellestyle{itunderscore}}
    1.22 +\railnamefont{\isabellestyle{itunderscore}}

     2.1 --- a/doc-src/IsarRef/style.sty	Tue May 03 21:18:43 2011 +0200
     2.2 +++ b/doc-src/IsarRef/style.sty	Tue May 03 21:29:25 2011 +0200
     2.3 @@ -36,15 +36,9 @@
     2.4  
     2.5  \parindent 0pt\parskip 0.5ex
     2.6  
     2.7 -\isabellestyle{it}
     2.8 +\isabellestyle{itunderscore}
     2.9  \newcommand{\isasymdash}{\mbox{-}}
    2.10  
    2.11 -\underscoreon
    2.12 -\newcommand{\setupunderscore}{\def\isacharunderscore{\_}\def\isacharunderscorekeyword{\_}}
    2.13 -\setupunderscore
    2.14 -
    2.15 -\makeatletter
    2.16 -\def\rail@termfont{\isabellestyle{tt}\setupunderscore}
    2.17 -\def\rail@nontfont{\isabellestyle{it}\setupunderscore}
    2.18 -\def\rail@namefont{\isabellestyle{it}\setupunderscore}
    2.19 -\makeatother
    2.20 +\railtermfont{\isabellestyle{tt}}
    2.21 +\railnontermfont{\isabellestyle{itunderscore}}
    2.22 +\railnamefont{\isabellestyle{itunderscore}}