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