equal
deleted
inserted
replaced
130 |
130 |
131 \item {\bf Jeremy Dawson} wrote the first version of the chapter |
131 \item {\bf Jeremy Dawson} wrote the first version of the chapter |
132 about parsing. |
132 about parsing. |
133 |
133 |
134 \item {\bf Alexander Krauss} wrote the first version of the ``first-steps'' |
134 \item {\bf Alexander Krauss} wrote the first version of the ``first-steps'' |
135 chapter and also contributed recipe \ref{rec:named}. |
135 chapter and also contributed the material on @{text NamedThmsFun}. |
136 \end{itemize} |
136 \end{itemize} |
137 |
137 |
138 Please let me know of any omissions. Responsibility for any remaining |
138 Please let me know of any omissions. Responsibility for any remaining |
139 errors lies with me. |
139 errors lies with me. |
140 *} |
140 *} |