equal
deleted
inserted
replaced
286 \ref{rec:external} and \ref{rec:oracle}. He also wrote section \ref{sec:conversion} |
286 \ref{rec:external} and \ref{rec:oracle}. He also wrote section \ref{sec:conversion} |
287 and helped with recipe \ref{rec:timing}. Parts of section \ref{sec:storing} |
287 and helped with recipe \ref{rec:timing}. Parts of section \ref{sec:storing} |
288 are by him. |
288 are by him. |
289 |
289 |
290 \item {\bf Lukas Bulwahn} made me aware of a problem with recursive |
290 \item {\bf Lukas Bulwahn} made me aware of a problem with recursive |
291 parsers and contributed exercise \ref{ex:contextfree}. |
291 parsers and contributed exercise \ref{ex:contextfree} and contributed to |
|
292 recipe \ref{rec:introspection}. |
292 |
293 |
293 \item {\bf Jeremy Dawson} wrote the first version of chapter \ref{chp:parsing} |
294 \item {\bf Jeremy Dawson} wrote the first version of chapter \ref{chp:parsing} |
294 about parsing. |
295 about parsing. |
295 |
296 |
296 \item {\bf Armin Heller} helped with recipe \ref{rec:sat}. |
297 \item {\bf Armin Heller} helped with recipe \ref{rec:sat}. |
297 |
298 |
298 \item {\bf Alexander Krauss} wrote a very early version of the ``first-steps'' |
299 \item {\bf Alexander Krauss} wrote a very early version of the ``first-steps'' |
299 chapter and also contributed the material on @{ML_funct Named_Thms}. |
300 chapter and also contributed the material on @{ML_funct Named_Thms}. |
|
301 |
|
302 \item {\bf Rafal Kolanski} contributed to recipe \ref{rec:introspection}. |
300 |
303 |
301 \item {\bf Tobias Nipkow} contributed recipe \ref{rec:callml}. |
304 \item {\bf Tobias Nipkow} contributed recipe \ref{rec:callml}. |
302 |
305 |
303 \item {\bf Michael Norrish} proofread parts of the text. |
306 \item {\bf Michael Norrish} proofread parts of the text. |
304 |
307 |