# HG changeset patch
# User wenzelm
# Date 1304429707 -7200
# Node ID d25bf6996368264b44de749b0eee96a8dbf0913c
# Parent  c963499143e59c4515232c18e4cb04806cfaa3e7
treat underscore as in IsarRef;

diff -r c963499143e5 -r d25bf6996368 doc-src/IsarImplementation/style.sty
--- 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