Slides/Slides1.thy
changeset 3 51019d035a79
parent 0 110247f9d47e
child 4 9d667d545e32
--- a/Slides/Slides1.thy	Thu Dec 06 15:12:49 2012 +0000
+++ b/Slides/Slides1.thy	Thu Dec 06 15:49:20 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}}
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%