You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: source/back.tex
-9Lines changed: 0 additions & 9 deletions
Original file line number
Diff line number
Diff line change
@@ -80,11 +80,9 @@ \chapter{Bibliography}
80
80
}
81
81
82
82
\clearpage
83
-
\renewcommand{\indexname}{Index of grammar productions}
84
83
\renewcommand{\preindexhook}{The first bold page number for each entry is the page in the
85
84
general text where the grammar production is defined. The second bold page number is the
86
85
corresponding page in the Grammar summary\iref{gram}. Other page numbers refer to pages where the grammar production is mentioned in the general text.\\}
87
-
\renewcommand{\leftmark}{\indexname}
88
86
{
89
87
\raggedright
90
88
\printindex[grammarindex]
@@ -93,17 +91,13 @@ \chapter{Bibliography}
93
91
\clearpage
94
92
\renewcommand{\preindexhook}{The bold page number for each entry refers to
95
93
the page where the synopsis of the header is shown.\\}
96
-
\renewcommand{\indexname}{Index of library headers}
97
-
\renewcommand{\leftmark}{\indexname}
98
94
{
99
95
\raggedright
100
96
\printindex[headerindex]
101
97
}
102
98
103
99
\clearpage
104
100
\renewcommand{\preindexhook}{}
105
-
\renewcommand{\indexname}{Index of library names}
106
-
\renewcommand{\leftmark}{\indexname}
107
101
{
108
102
\raggedright
109
103
\printindex[libraryindex]
@@ -113,8 +107,6 @@ \chapter{Bibliography}
113
107
\renewcommand{\preindexhook}{The bold page number for each entry is the page
114
108
where the concept is defined.
115
109
Other page numbers refer to pages where the concept is mentioned in the general text.\\}
116
-
\renewcommand{\indexname}{Index of library concepts}
117
-
\renewcommand{\leftmark}{\indexname}
118
110
{
119
111
\raggedright
120
112
\printindex[conceptindex]
@@ -123,7 +115,6 @@ \chapter{Bibliography}
123
115
\clearpage
124
116
\renewcommand{\preindexhook}{The entries in this index are rough descriptions; exact
125
117
specifications are at the indicated page in the general text.\\}
126
-
\renewcommand{\indexname}{Index of implementation-defined behavior}
127
118
\renewcommand{\leftmark}{Index of impl.-def. behavior}
0 commit comments