9 |
9 |
10 \makeindex |
10 \makeindex |
11 |
11 |
12 \railterm{percent,ppercent,underscore,lbrace,rbrace,llbrace,rrbrace} |
12 \railterm{percent,ppercent,underscore,lbrace,rbrace,llbrace,rrbrace} |
13 \railterm{ident,longident,symident,var,textvar,typefree,typevar,nat,string,verbatim,keyword} |
13 \railterm{ident,longident,symident,var,textvar,typefree,typevar,nat,string,verbatim,keyword} |
|
14 |
|
15 \railalias{ident}{\railtoken{ident}} |
|
16 \railalias{longident}{\railtoken{longident}} |
|
17 \railalias{symident}{\railtoken{symident}} |
|
18 \railalias{var}{\railtoken{var}} |
|
19 \railalias{textvar}{\railtoken{textvar}} |
|
20 \railalias{typefree}{\railtoken{typefree}} |
|
21 \railalias{typevar}{\railtoken{typevar}} |
|
22 \railalias{nat}{\railtoken{nat}} |
|
23 \railalias{string}{\railtoken{string}} |
|
24 \railalias{verbatim}{\railtoken{verbatim}} |
|
25 \railalias{keyword}{\railtoken{keyword}} |
14 |
26 |
15 \railalias{name}{\railqtoken{name}} |
27 \railalias{name}{\railqtoken{name}} |
16 \railalias{nameref}{\railqtoken{nameref}} |
28 \railalias{nameref}{\railqtoken{nameref}} |
17 \railalias{text}{\railqtoken{text}} |
29 \railalias{text}{\railqtoken{text}} |
18 \railalias{type}{\railqtoken{type}} |
30 \railalias{type}{\railqtoken{type}} |