refined "literal" document style, with some correspondence to actual text source;
authorwenzelm
Sun Nov 27 13:12:42 2011 +0100 (2011-11-27)
changeset 4564602afa20cf397
parent 45645 4014bc2a09ff
child 45647 96af0578571c
child 45656 003a01272d28
refined "literal" document style, with some correspondence to actual text source;
doc-src/IsarImplementation/style.sty
doc-src/IsarRef/style.sty
lib/texinputs/isabelle.sty
     1.1 --- a/doc-src/IsarImplementation/style.sty	Sun Nov 27 12:52:52 2011 +0100
     1.2 +++ b/doc-src/IsarImplementation/style.sty	Sun Nov 27 13:12:42 2011 +0100
     1.3 @@ -64,7 +64,7 @@
     1.4  \newcommand{\isasymTHEOREM}{\isakeyword{theorem}}
     1.5  \newcommand{\isasymDEFINITION}{\isakeyword{definition}}
     1.6  
     1.7 -\isabellestyle{itunderscore}
     1.8 +\isabellestyle{literal}
     1.9  
    1.10  \railtermfont{\isabellestyle{tt}}
    1.11  \railnontermfont{\isabellestyle{itunderscore}}
     2.1 --- a/doc-src/IsarRef/style.sty	Sun Nov 27 12:52:52 2011 +0100
     2.2 +++ b/doc-src/IsarRef/style.sty	Sun Nov 27 13:12:42 2011 +0100
     2.3 @@ -36,8 +36,8 @@
     2.4  
     2.5  \parindent 0pt\parskip 0.5ex
     2.6  
     2.7 -\isabellestyle{itunderscore}
     2.8 +\isabellestyle{literal}
     2.9  
    2.10  \railtermfont{\isabellestyle{tt}}
    2.11 -\railnontermfont{\isabellestyle{itunderscore}}
    2.12 -\railnamefont{\isabellestyle{itunderscore}}
    2.13 +\railnontermfont{\isabellestyle{literal}}
    2.14 +\railnamefont{\isabellestyle{literal}}
     3.1 --- a/lib/texinputs/isabelle.sty	Sun Nov 27 12:52:52 2011 +0100
     3.2 +++ b/lib/texinputs/isabelle.sty	Sun Nov 27 13:12:42 2011 +0100
     3.3 @@ -194,10 +194,12 @@
     3.4  \def\isacharverbatimclose{\isamath{\rangle\!\rangle}}%
     3.5  }
     3.6  
     3.7 -\newcommand{\isabellestyleitunderscore}{%
     3.8 +\newcommand{\isabellestyleliteral}{%
     3.9  \isabellestyleit%
    3.10  \def\isacharunderscore{\_}%
    3.11  \def\isacharunderscorekeyword{\_}%
    3.12 +\chardef\isacharbackquoteopen=`\`%
    3.13 +\chardef\isacharbackquoteclose=`\`%
    3.14  }
    3.15  
    3.16  \newcommand{\isabellestylesl}{%