changeset 9029 | 2962c80230e3 |
parent 8599 | 58b6f99dd5a9 |
child 9203 | 697f2c8727a1 |
1.1 --- a/doc-src/railsetup.sty Fri Jun 02 20:38:28 2000 +0200 1.2 +++ b/doc-src/railsetup.sty Sat Jun 03 23:57:04 2000 +0200 1.3 @@ -2,10 +2,6 @@ 1.4 \railalias{percent}{\%} 1.5 \railalias{ppercent}{\%\%} 1.6 \railalias{underscore}{\_} 1.7 -\railalias{lbrace}{\ttlbrace} 1.8 -\railalias{rbrace}{\ttrbrace} 1.9 -\railalias{llbrace}{\ttlbrace\ttlbrace} 1.10 -\railalias{rrbrace}{\ttrbrace\ttrbrace} 1.11 1.12 \setlength\railextra{3.6ex} 1.13 \setlength\railboxleft{0.9ex}