# HG changeset patch
# User Eugen Sawin <sawine@me73.com>
# Date 1311342934 -7200
# Node ID 3ebfd8683b189c262a8925423859e5cb4acce58a
# Parent  1da31f35eae3d3ae0ddda1115ce67cdfca882696
Some more stuff.

diff -r 1da31f35eae3 -r 3ebfd8683b18 slides/src/slides.tex
--- a/slides/src/slides.tex	Fri Jul 22 15:52:20 2011 +0200
+++ b/slides/src/slides.tex	Fri Jul 22 15:55:34 2011 +0200
@@ -128,7 +128,7 @@
 ``It is dark.''\\
 \visible<2->{``It is \emph{always} dark.''\\}
 \visible<3->{``It is \emph{currently} dark.''\\}
-\visible<4->{``It will \emph{eventually} be dark.''\\}
+\visible<4->{``It will \emph{necessarily} be dark.''\\}
 \visible<5->{``It is dark \emph{until} someone puts the light on.''}
 \end{center}
 \end{frame}
@@ -539,12 +539,6 @@
 \end{thm:model checking}
 \end{frame}
 
-\begin{frame}
-\frametitle{On-the-fly Methods}
-\framesubtitle{A bit more information about this}
-
-\end{frame}
-
 \begin{frame}[allowframebreaks]
 \frametitle<presentation>{Literature}    
 \begin{thebibliography}{10}