Cookbook/main.html
changeset 137 8090cb892fd0
parent 38 f4c8b96189f6
child 204 f72e95e3d5be
--- 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 @@
 <H3><A NAME="readers"></A>What early readers said:</H3>
 
 <i>
+GREAT!!! That's exactly what I was looking for! (Thomas Genet, ISTIC/IRISA, 2012)
+</i>
+
+<p>
+<i>
 The tutorial really is quite nice. (Jeremy Avigad, CMU, 2011)
 </i>
 
@@ -184,4 +189,4 @@
 <!-- hhmts end -->
 
 </body>
-</html>
\ No newline at end of file
+</html>