# HG changeset patch
# User wenzelm
# Date 1304450965 -7200
# Node ID ae7707198403a493d400675f2530e87e61ef1687
# Parent  c31df4184ead10a31e1d9ebbbd0904b5775098a4
simplified rail configuration;

diff -r c31df4184ead -r ae7707198403 doc-src/IsarImplementation/style.sty
--- 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}}
diff -r c31df4184ead -r ae7707198403 doc-src/IsarRef/style.sty
--- 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}}