--- a/Slides/Slides2.thy	Tue Jul 23 23:58:53 2013 +0200
+++ b/Slides/Slides2.thy	Wed Jul 24 00:38:48 2013 +0200
@@ -348,9 +348,10 @@
   \end{itemize}
 
   \only<2->{
-  \begin{textblock}{4}(0.3,4.2)
+  \begin{textblock}{4}(0.3,11.8)
   \begin{tikzpicture}
-  \node[ellipse callout, fill=red] at (0, 0){\textcolor{yellow}{Spaghetti Code!}};
+  \node[ellipse callout, fill=red, callout absolute pointer={(-0.2,1)}] 
+   at (0, 0){\large\fontspec{Chalkduster}\textcolor{yellow}{Spaghetti Code!}};
   \end{tikzpicture}
   \end{textblock}}
 
@@ -742,8 +743,9 @@
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   \mode<presentation>{
   \begin{frame}[c]
-  \frametitle{\begin{tabular}{@ {}c@ {}}Stealing From Other Works\end{tabular}}%
+  \frametitle{\begin{tabular}{@ {}c@ {}}\Large Inspiration from other Works\end{tabular}}%
 
+  \onslide<3->{
   \begin{itemize}
   \item Jensen, Benton, Kennedy ({\bf 2013}),
   {\it High-Level Separation Logic for Low-Level Code}\medskip\\
@@ -753,7 +755,14 @@
 
   \item Klein, Kolanski, Boyton ({\bf 2012}), {\it Mechanised Separation Algebra}
 
-  \end{itemize}
+  \end{itemize}}
+
+  \only<2->{
+  \begin{textblock}{4}(1.4,0.9)
+  \begin{tikzpicture}
+  \draw (0,0) node {\fontspec{Chalkduster}\textcolor{red!80}{\LARGE Stealing}};
+  \end{tikzpicture}
+  \end{textblock}}
   \end{frame}}
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
 *}

Binary file slides2.pdf has changed