# HG changeset patch
# User wenzelm
# Date 1304366387 -7200
# Node ID 028f94955436f1b5f54c7193576627c63e681a8f
# Parent  a55e0663ad1d24f38194c47b97a02539dec55257
proper treatment of underscore in rail diagrams;

diff -r a55e0663ad1d -r 028f94955436 doc-src/IsarRef/style.sty
--- a/doc-src/IsarRef/style.sty	Mon May 02 21:46:54 2011 +0200
+++ b/doc-src/IsarRef/style.sty	Mon May 02 21:59:47 2011 +0200
@@ -32,7 +32,14 @@
 \sloppy
 
 \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
\ No newline at end of file