Mercurial Mercurial > hg > itp-2015 / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 20 Aug 2015 08:59:34 +0800
changeset 310 cfa3ac88a7f0
parent 309 d89e541bbde9
child 311 ad23aa434cd1
updated
booklet.pdf file | annotate | diff | comparison | revisions
booklet.tex file | annotate | diff | comparison | revisions
booklet2.pdf file | annotate | diff | comparison | revisions 
Binary file booklet.pdf has changed
--- 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}\\
Binary file booklet2.pdf has changed
itp-2015