# HG changeset patch # User Christian Urban # Date 1374619128 -7200 # Node ID acc752cef1e74b3f59449c328363eed02a0fb707 # Parent c6aa1be1033a449c7ea7572d390c281499a03629 slides diff -r c6aa1be1033a -r acc752cef1e7 Slides/Slides2.thy --- 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{ \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}} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% *} diff -r c6aa1be1033a -r acc752cef1e7 slides2.pdf Binary file slides2.pdf has changed