equal
deleted
inserted
replaced
205 answering questions about Isabelle. |
205 answering questions about Isabelle. |
206 |
206 |
207 \item {\bf Jasmin Blanchette} helped greatly with section \ref{sec:pretty}. |
207 \item {\bf Jasmin Blanchette} helped greatly with section \ref{sec:pretty}. |
208 |
208 |
209 \item {\bf Sascha Böhme} contributed the recipes in \ref{rec:timeout}, |
209 \item {\bf Sascha Böhme} contributed the recipes in \ref{rec:timeout}, |
210 \ref{rec:config}, \ref{rec:storingdata}, \ref{rec:external} and \ref{rec:oracle}. |
210 \ref{rec:external} and \ref{rec:oracle}. He also wrote section \ref{sec:conversion} |
211 He also wrote section \ref{sec:conversion} and helped with recipe \ref{rec:timing}. |
211 and helped with recipe \ref{rec:timing}. Parts of the section \ref{sec:storing} |
|
212 are by him. |
212 |
213 |
213 \item {\bf Jeremy Dawson} wrote the first version of the chapter |
214 \item {\bf Jeremy Dawson} wrote the first version of the chapter |
214 about parsing. |
215 about parsing. |
215 |
216 |
216 \item {\bf Armin Heller} helped with recipe \ref{rec:sat}. |
217 \item {\bf Armin Heller} helped with recipe \ref{rec:sat}. |