diff -r fa0ee73ecc02 -r 8090cb892fd0 Cookbook/main.html --- a/Cookbook/main.html Fri Aug 31 10:17:42 2012 +0100 +++ b/Cookbook/main.html Wed Sep 05 23:07:56 2012 +0100 @@ -109,6 +109,11 @@
+ The tutorial really is quite nice. (Jeremy Avigad, CMU, 2011) @@ -184,4 +189,4 @@