# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1346882876 -3600
# Node ID 8090cb892fd0758fa39cfcd7a7b7c449756c7af1
# Parent  fa0ee73ecc0286b27120464b122d1e7a29ff88b6
added comment

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 @@
 <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>
diff -r fa0ee73ecc02 -r 8090cb892fd0 travelling.html
--- a/travelling.html	Fri Aug 31 10:17:42 2012 +0100
+++ b/travelling.html	Wed Sep 05 23:07:56 2012 +0100
@@ -64,7 +64,7 @@
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H2>Talks and Travel Plans</H2>
 <ul class="striped">
-<li> Talk at Wessex Theory Seminar (29 August, host: Dr Dirk Patinson)
+<li> Talk at Wessex Theory Seminar at Imperial (29 August, host: Dr Dirk Patinson)
 </ul>
 </TD>
 </TR>