
diff -r 3703ade9b17c -r 640e4a05cd9b slides/slides09.tex
--- a/slides/slides09.tex	Mon Nov 17 08:38:52 2014 +0000
+++ b/slides/slides09.tex	Sun Nov 23 22:12:18 2014 +0000
@@ -1,50 +1,18 @@
 \documentclass[dvipsnames,14pt,t]{beamer}
-\usepackage{beamerthemeplaincu}
-\usepackage[absolute,overlay]{textpos}
-\usepackage{ifthen}
-\usepackage{tikz}
-\usepackage{pgf}
-\usepackage{calc} 
-\usepackage{ulem}
-\usepackage{courier}
-\usepackage{listings}
-\renewcommand{\uline}[1]{#1}
-\usetikzlibrary{arrows}
-\usetikzlibrary{automata}
-\usetikzlibrary{shapes}
-\usetikzlibrary{shadows}
-\usetikzlibrary{positioning}
-\usetikzlibrary{calc}
-\usetikzlibrary{plotmarks}
-\usepackage{graphicx} 
-\usepackage{pgfplots}
+\usepackage{../slides}
 \usepackage{../langs}
 \usepackage{../data}
+\usepackage{../graphics}
 
 
 % beamer stuff 
-\renewcommand{\slidecaption}{AFL 09, King's College London, 27.~November 2013}
+\renewcommand{\slidecaption}{AFL 09, King's College London}
 \newcommand{\bl}[1]{\textcolor{blue}{#1}}       
-\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions
 
- \pgfdeclareradialshading{smallbluesphere}{\pgfpoint{0.5mm}{0.5mm}}%
-  {rgb(0mm)=(0,0,0.9);
-  rgb(0.9mm)=(0,0,0.7);
-  rgb(1.3mm)=(0,0,0.5);
-  rgb(1.4mm)=(1,1,1)}
-
-  \def\myitemi{\begin{pgfpicture}{-1ex}{-0.55ex}{1ex}{1ex}
-    \usebeamercolor[fg]{subitem projected}
-    {\pgftransformscale{0.8}\pgftext{\normalsize\pgfuseshading{bigsphere}}}
-    \pgftext{%
-      \usebeamerfont*{subitem projected}}
-  \end{pgfpicture}}
-  
 \begin{document}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\mode<presentation>{
-\begin{frame}<1>[t]
+\begin{frame}[t]
 \frametitle{%
   \begin{tabular}{@ {}c@ {}}
   \\[-3mm]
@@ -61,7 +29,7 @@
   \end{tabular}
   \end{center}
 
-\end{frame}}
+\end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -193,14 +161,13 @@
   \end{column}
   \begin{column}{9cm}
   \begin{tabular}{l@ {\hspace{1mm}}p{8cm}}
-  \myitemi
+ 
   & Ken Thompson showed how to hide a Trojan Horse in a 
   compiler \textcolor{red}{without} leaving any traces in the source code.\\[2mm]
-  \myitemi
+  
   & No amount of source level verification will protect 
   you from such Thompson-hacks.\\[2mm]
 
-  \myitemi
   & Therefore in safety-critical systems it is important to rely 
   on only a very small TCB.
   \end{tabular}




