equal
deleted
inserted
replaced
128 describing the package and has been helpful \emph{beyond measure} with |
128 describing the package and has been helpful \emph{beyond measure} with |
129 answering questions about Isabelle. |
129 answering questions about Isabelle. |
130 |
130 |
131 \item {\bf Sascha Böhme} contributed the recipes in \ref{rec:timeout}, |
131 \item {\bf Sascha Böhme} contributed the recipes in \ref{rec:timeout}, |
132 \ref{rec:config}, \ref{rec:storingdata}, \ref{rec:external} and \ref{rec:oracle}. |
132 \ref{rec:config}, \ref{rec:storingdata}, \ref{rec:external} and \ref{rec:oracle}. |
133 He also wrote section \ref{sec:conversion}. |
133 He also wrote section \ref{sec:conversion} and helped with recipe \ref{rec:timing}. |
134 |
134 |
135 \item {\bf Jeremy Dawson} wrote the first version of the chapter |
135 \item {\bf Jeremy Dawson} wrote the first version of the chapter |
136 about parsing. |
136 about parsing. |
137 |
137 |
138 \item {\bf Alexander Krauss} wrote the first version of the ``first-steps'' |
138 \item {\bf Alexander Krauss} wrote the first version of the ``first-steps'' |