# 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}}