changeset 9613 | 817b74e9c5aa |
parent 9203 | 697f2c8727a1 |
child 13048 | 8b2eb3b78cc3 |
--- a/doc-src/railsetup.sty Thu Aug 17 10:29:23 2000 +0200 +++ b/doc-src/railsetup.sty Thu Aug 17 10:29:50 2000 +0200 @@ -2,8 +2,8 @@ \railalias{percent}{\%} \railalias{ppercent}{\%\%} \railalias{underscore}{\_} -\railalias{lbrace}{\{} -\railalias{rbrace}{\}} +\railalias{lbrace}{\texttt{\ttlbrace}} +\railalias{rbrace}{\texttt{\ttrbrace}} \railalias{atsign}{{\at}} \setlength\railextra{3.6ex}