--- a/slides/slides01.tex	Thu Sep 24 15:58:48 2015 +0100
+++ b/slides/slides01.tex	Thu Sep 24 22:52:10 2015 +0100
@@ -687,10 +687,10 @@
 \begin{itemize}
 \item four programming subtasks:
 \begin{itemize}
-\item matcher (5\%, 13.10.) 
-\item lexer (5\%, 03.11.)
+\item matcher (5\%, 16.10.) 
+\item lexer (5\%, 06.11.)
 \item parser (5\%, 27.11.)
-\item compiler (10\%, 12.12.)
+\item compiler (10\%, 11.12.)
 \end{itemize}
 \end{itemize}
 \end{column}
@@ -700,7 +700,7 @@
 \underline{\bf Strand 2}\smallskip\begin{itemize}
 \item one task: prove the correctness of a regular expression matcher in 
 the Isabelle theorem prover
-\item 25\%, submission 12.12.
+\item 25\%, submission 11.12.
 \end{itemize}
 \end{column}
 \end{columns}\medskip