3
3
Many thanks to Christoph M. Friedrich, John Heuer, Kurt Hornik,
4
4
Torsten Hothorn, Saikat Debroy, Matthew Kelly, Brian D. Ripley,
5
Jake Luciani, Jens Nieschulze, Deepayan Sarkar, Louis Springer,
6
Duncan Temple Lang, Luis Torgo, Arend P. van der Veen, and
7
Felix Weninger for comments, suggestions, bug reports, and patches.
5
Mikhail Kondrin, Jake Luciani, Jens Nieschulze, Deepayan Sarkar,
6
Louis Springer, Duncan Temple Lang, Luis Torgo, Arend P. van der Veen,
7
Felix Weninger, J. T. Lindgren, Crespin Miller, and Michal Okonlewski,
8
Seth Falcon and Paul Gilbert for comments, suggestions, bug reports,
9
11
Special thanks to Prof. Ripley for solving some tough Windows
10
12
porting issues that had completely stumped us.