equal
deleted
inserted
replaced
37 \pagestyle{headings} |
37 \pagestyle{headings} |
38 \sloppy |
38 \sloppy |
39 |
39 |
40 \parindent 0pt\parskip 0.5ex |
40 \parindent 0pt\parskip 0.5ex |
41 |
41 |
42 \isabellestyle{literal} |
42 \isabellestyle{literalunderscore} |
43 |
43 |
44 \newcommand{\isasymdash}{\isatext{\mbox{-}}} |
44 \newcommand{\isasymdash}{\isatext{\mbox{-}}} |
45 |
45 |
46 \railtermfont{\isabellestyle{tt}} |
46 \railtermfont{\isabellestyle{tt}} |
47 \railnontermfont{\isabellestyle{literal}} |
47 \railnontermfont{\isabellestyle{literalunderscore}} |
48 \railnamefont{\isabellestyle{literal}} |
48 \railnamefont{\isabellestyle{literalunderscore}} |