# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1386986861 -39600
# Node ID 928c015eb03eb31bb20c5012b387af26a57e9853
# Parent  c3517b2811648ff914712a0e499595edfd2ab3db
updated slides

diff -r c3517b281164 -r 928c015eb03e Slides/Slides1.thy
--- a/Slides/Slides1.thy	Fri Dec 13 11:05:50 2013 +1100
+++ b/Slides/Slides1.thy	Sat Dec 14 13:07:41 2013 +1100
@@ -174,6 +174,14 @@
   Apache server) 
   \end{itemize}}
 
+\only<3->{
+ \begin{textblock}{3}(10,9)
+  \onslide<2-3>{
+  \begin{tikzpicture}
+  \node at (0,0) [single arrow, fill=red,text=white, rotate=0, shape border rotate=180]{\mbox{\hspace{8mm}}};
+  \end{tikzpicture}}
+  \end{textblock}}
+
   \end{frame}
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
 
@@ -407,7 +415,7 @@
   \colorbox{cream}{
   \begin{minipage}{10.5cm}
   {\bf Thm (Completeness)}\\ 
-  If an object is taintable and \emph{undeletable$^\star$}, then 
+  If an object is taintable in the OS and \emph{undeletable$^\star$}, then 
   our test will find out that it is taintable.
   \end{minipage}}\medskip
 
@@ -499,7 +507,20 @@
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
 *}
 
+text_raw {*
+  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+  \mode<presentation>{
+  \begin{frame}[c]
 
+  \begin{center}
+  \alert{\bf\huge{Thanks!}}\bigskip
+
+  \alert{\bf\huge{Questions?}}
+  \end{center}
+  
+  \end{frame}}
+  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
+*}
 
 (*<*)
 end
diff -r c3517b281164 -r 928c015eb03e Slides/document/root.tex
--- a/Slides/document/root.tex	Fri Dec 13 11:05:50 2013 +1100
+++ b/Slides/document/root.tex	Sat Dec 14 13:07:41 2013 +1100
@@ -63,7 +63,7 @@
 \newcommand{\swap}[2]{(#1\,#2)}% swapping operation
 
 % beamer stuff 
-\renewcommand{\slidecaption}{Salvador, 26.~August 2008}
+\renewcommand{\slidecaption}{}
 
 
 % colours for Isar Code (in article mode everything is black and white)
diff -r c3517b281164 -r 928c015eb03e slides1.pdf
Binary file slides1.pdf has changed