equal
deleted
inserted
replaced
292 |
292 |
293 \item {\bf Jeremy Dawson} wrote the first version of chapter \ref{chp:parsing} |
293 \item {\bf Jeremy Dawson} wrote the first version of chapter \ref{chp:parsing} |
294 about parsing. |
294 about parsing. |
295 |
295 |
296 \item {\bf Dmitriy Traytel} suggested to use the ML-antiquotation |
296 \item {\bf Dmitriy Traytel} suggested to use the ML-antiquotation |
297 @{text "command_spec"}, which simplified the code. |
297 @{text "command_spec"} in section~\ref{sec:newcommand}, which simplified the code. |
298 |
298 |
299 \item {\bf Armin Heller} helped with recipe \ref{rec:sat}. |
299 \item {\bf Armin Heller} helped with recipe \ref{rec:sat}. |
300 |
300 |
301 \item {\bf Alexander Krauss} wrote a very early version of the ``first-steps'' |
301 \item {\bf Alexander Krauss} wrote a very early version of the ``first-steps'' |
302 chapter and also contributed the material on @{ML_funct Named_Thms}. |
302 chapter and also contributed the material on @{ML_funct Named_Thms}. |