Binary file coursework/cw01.pdf has changed

--- a/coursework/cw01.tex	Thu Sep 24 15:58:48 2015 +0100
+++ b/coursework/cw01.tex	Thu Sep 24 22:52:10 2015 +0100
@@ -6,7 +6,7 @@
 
 \section*{Coursework 1 (Strand 1)}
 
-This coursework is worth 5\% and is due on 13 October at 16:00. You
+This coursework is worth 5\% and is due on 16 October at 16:00. You
 are asked to implement a regular expression matcher and submit a
 document containing the answers for the questions below. You can do
 the implementation in any programming language you like, but you need

Binary file coursework/cw02.pdf has changed

--- a/coursework/cw02.tex	Thu Sep 24 15:58:48 2015 +0100
+++ b/coursework/cw02.tex	Thu Sep 24 22:52:10 2015 +0100
@@ -7,7 +7,7 @@
 \section*{Coursework 2 (Strand 1)}
 
 \noindent
-This coursework is worth 5\% and is due on 3 November at 16:00. You
+This coursework is worth 5\% and is due on 6 November at 16:00. You
 are asked to implement the Sulzmann tokeniser for the WHILE language.
 You need to submit a document containing the answers for the questions
 below. You can do the implementation in any programming language you

Binary file coursework/cw03.pdf has changed

--- a/coursework/cw03.tex	Thu Sep 24 15:58:48 2015 +0100
+++ b/coursework/cw03.tex	Thu Sep 24 22:52:10 2015 +0100
@@ -7,7 +7,7 @@
 \section*{Coursework 3 (Strand 1)}
 
 \noindent
-This coursework is worth 5\% and is due on 28 November at 16:00. You 
+This coursework is worth 5\% and is due on 27 November at 16:00. You 
 are asked to implement a parser for the WHILE language and also 
 an interpreter. You should use the lexer from the previous
 coursework for the parser. 

Binary file coursework/cw04.pdf has changed

--- a/coursework/cw04.tex	Thu Sep 24 15:58:48 2015 +0100
+++ b/coursework/cw04.tex	Thu Sep 24 22:52:10 2015 +0100
@@ -6,7 +6,7 @@
 
 \section*{Coursework 4 (Strand 1)}
 
-\noindent This coursework is worth 10\% and is due on 12th
+\noindent This coursework is worth 10\% and is due on 11
 December at 16:00. You are asked to implement a compiler for
 the WHILE language that targets the assembler language
 provided by Jasmin. This assembler is available from

Binary file coursework/cw05.pdf has changed

--- a/coursework/cw05.tex	Thu Sep 24 15:58:48 2015 +0100
+++ b/coursework/cw05.tex	Thu Sep 24 22:52:10 2015 +0100
@@ -6,7 +6,7 @@
 
 \section*{Coursework (Strand 2)}
 
-\noindent This coursework is worth 25\% and is due on 12
+\noindent This coursework is worth 25\% and is due on 11
 December at 16:00. You are asked to prove the correctness of a
 regular expression matcher from the lectures using the
 Isabelle theorem prover. You need to submit a theory file

Binary file handouts/ho01.pdf has changed

Binary file handouts/ho02.pdf has changed

Binary file handouts/ho03.pdf has changed

Binary file handouts/ho04.pdf has changed

Binary file handouts/ho05.pdf has changed

Binary file handouts/ho06.pdf has changed

Binary file handouts/notation.pdf has changed

Binary file handouts/scala-ho.pdf has changed

Binary file hws/hw01.pdf has changed

Binary file hws/hw02.pdf has changed

Binary file hws/hw03.pdf has changed

Binary file hws/hw04.pdf has changed

Binary file hws/hw05.pdf has changed

Binary file hws/hw06.pdf has changed

Binary file hws/hw07.pdf has changed

Binary file hws/hw08.pdf has changed

Binary file hws/hw09.pdf has changed

Binary file hws/proof.pdf has changed

Binary file slides/slides01.pdf has changed

--- 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

Binary file slides/slides02.pdf has changed

Binary file slides/slides03.pdf has changed

Binary file slides/slides04.pdf has changed

Binary file slides/slides05.pdf has changed

Binary file slides/slides06.pdf has changed

Binary file slides/slides07.pdf has changed

Binary file slides/slides08.pdf has changed

Binary file slides/slides09.pdf has changed

Binary file slides/slides10.pdf has changed