# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1440032374 -28800
# Node ID cfa3ac88a7f04b7492bdd1a628d8be421c50cb30
# Parent  d89e541bbde9f0121987c42f83e16448688e8d74
updated

diff -r d89e541bbde9 -r cfa3ac88a7f0 booklet.pdf
Binary file booklet.pdf has changed
diff -r d89e541bbde9 -r cfa3ac88a7f0 booklet.tex
--- a/booklet.tex	Thu Aug 20 08:49:35 2015 +0800
+++ b/booklet.tex	Thu Aug 20 08:59:34 2015 +0800
@@ -942,7 +942,7 @@
   Validating Dominator Trees for a Fast, Verified Dominance 
   Test\smallskip\\
   A.~Lochbihler, A.~Maximova\\
-  Stream Fusion for Isabelle’s Code Generator (Rough 
+  Stream Fusion for Isabelle'{}s Code Generator (Rough 
   Diamond)\\
   \hline
   \multicolumn{1}{@{}|l|@{}}{\hspace{-1mm}\cellcolor{blue!20}20 mins coffee break}\\
diff -r d89e541bbde9 -r cfa3ac88a7f0 booklet2.pdf
Binary file booklet2.pdf has changed