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>