equal
deleted
inserted
replaced
226 \ref{rec:external} and \ref{rec:oracle}. He also wrote section \ref{sec:conversion} |
226 \ref{rec:external} and \ref{rec:oracle}. He also wrote section \ref{sec:conversion} |
227 and helped with recipe \ref{rec:timing}. Parts of section \ref{sec:storing} |
227 and helped with recipe \ref{rec:timing}. Parts of section \ref{sec:storing} |
228 are by him. |
228 are by him. |
229 |
229 |
230 \item {\bf Lukas Bulwahn} made me aware of the problems with recursive |
230 \item {\bf Lukas Bulwahn} made me aware of the problems with recursive |
231 parsers. |
231 parsers and contributed exercise \ref{ex:contextfree}. |
232 |
232 |
233 \item {\bf Jeremy Dawson} wrote the first version of the chapter |
233 \item {\bf Jeremy Dawson} wrote the first version of the chapter |
234 about parsing. |
234 about parsing. |
235 |
235 |
236 \item {\bf Armin Heller} helped with recipe \ref{rec:sat}. |
236 \item {\bf Armin Heller} helped with recipe \ref{rec:sat}. |