Slides/Slides1.thy
changeset 4 9d667d545e32
parent 3 51019d035a79
--- a/Slides/Slides1.thy	Thu Dec 06 15:49:20 2012 +0000
+++ b/Slides/Slides1.thy	Thu Dec 06 16:30:57 2012 +0000
@@ -349,9 +349,9 @@
 
   \pause
 
-%  \begin{center}
-%  \includegraphics[scale=0.4]{EventAbstract.png}
-%  \end{center}
+  \begin{center}
+  \includegraphics[scale=0.4]{EventAbstract.png}
+  \end{center}
 
   \end{frame}}
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%