# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1506424794 -3600
# Node ID c502933be07242dcd83d9455b566feee0bb29847
# Parent  dfd0f41f86682124bdfca0b0e7627057817f6e65
updated

diff -r dfd0f41f8668 -r c502933be072 coursework/cw01.pdf
Binary file coursework/cw01.pdf has changed
diff -r dfd0f41f8668 -r c502933be072 coursework/cw02.pdf
Binary file coursework/cw02.pdf has changed
diff -r dfd0f41f8668 -r c502933be072 coursework/cw02.tex
--- a/coursework/cw02.tex	Mon Sep 18 14:02:46 2017 +0100
+++ b/coursework/cw02.tex	Tue Sep 26 12:19:54 2017 +0100
@@ -6,7 +6,7 @@
 
 \section*{Coursework 2 (Strand 1)}
 
-\noindent This coursework is worth 5\% and is due on 2
+\noindent This coursework is worth 5\% and is due on 3
 November at 16:00. You are asked to implement the Sulzmann \&
 Lu lexer for the WHILE language. You can do the
 implementation in any programming language you like, but you
diff -r dfd0f41f8668 -r c502933be072 coursework/cw03.pdf
Binary file coursework/cw03.pdf has changed
diff -r dfd0f41f8668 -r c502933be072 coursework/cw04.pdf
Binary file coursework/cw04.pdf has changed
diff -r dfd0f41f8668 -r c502933be072 coursework/cw05.pdf
Binary file coursework/cw05.pdf has changed
diff -r dfd0f41f8668 -r c502933be072 coursework/cw05.tex
--- a/coursework/cw05.tex	Mon Sep 18 14:02:46 2017 +0100
+++ b/coursework/cw05.tex	Tue Sep 26 12:19:54 2017 +0100
@@ -6,7 +6,7 @@
 
 \section*{Coursework (Strand 2)}
 
-\noindent This coursework is worth 20\% and is due on 13 December at
+\noindent This coursework is worth 20\% and is due on 7 December at
 16:00. You are asked to prove the correctness of the regular
 expression matcher from the lectures using the Isabelle theorem
 prover. You need to submit a theory file containing this proof. The
diff -r dfd0f41f8668 -r c502933be072 slides/slides01.pdf
Binary file slides/slides01.pdf has changed
diff -r dfd0f41f8668 -r c502933be072 slides/slides01.tex
--- a/slides/slides01.tex	Mon Sep 18 14:02:46 2017 +0100
+++ b/slides/slides01.tex	Tue Sep 26 12:19:54 2017 +0100
@@ -42,7 +42,7 @@
   \begin{center}
   \begin{tabular}{ll}
   Email:  & christian.urban at kcl.ac.uk\\
-  Office: & S1.27 (1st floor Strand Building)\\
+  Office: & N7.07 (North Wing, Bush House)\\
   Slides: & KEATS
   \end{tabular}
   \end{center}
diff -r dfd0f41f8668 -r c502933be072 slides/slides02.tex
--- a/slides/slides02.tex	Mon Sep 18 14:02:46 2017 +0100
+++ b/slides/slides02.tex	Tue Sep 26 12:19:54 2017 +0100
@@ -35,7 +35,7 @@
   \begin{center}
   \begin{tabular}{ll}
   Email:  & christian.urban at kcl.ac.uk\\
-  Office: & S1.27 (1st floor Strand Building)\\
+  Office: & N7.07 (North Wing, Bush House)\\
   Slides: & KEATS 
   \end{tabular}
   \end{center}
diff -r dfd0f41f8668 -r c502933be072 slides/slides03.tex
--- a/slides/slides03.tex	Mon Sep 18 14:02:46 2017 +0100
+++ b/slides/slides03.tex	Tue Sep 26 12:19:54 2017 +0100
@@ -28,7 +28,7 @@
   \begin{center}
   \begin{tabular}{lp{8cm}}
   Email:  & christian.urban at kcl.ac.uk\\
-  Office: & S1.27 (1st floor Strand Building)\\
+  Office: & N7.07 (North Wing, Bush House)\\
   Slides: & KEATS (also home work and coursework is there)\\
   \end{tabular}
   \end{center}
diff -r dfd0f41f8668 -r c502933be072 slides/slides04.tex
--- a/slides/slides04.tex	Mon Sep 18 14:02:46 2017 +0100
+++ b/slides/slides04.tex	Tue Sep 26 12:19:54 2017 +0100
@@ -27,7 +27,7 @@
   \begin{center}
   \begin{tabular}{ll}
   Email:  & christian.urban at kcl.ac.uk\\
-  Office: & S1.27 (1st floor Strand Building)\\
+  Office: & N7.07 (North Wing, Bush House)\\
   Slides: & KEATS (also home work is there)\\
   \end{tabular}
   \end{center}
diff -r dfd0f41f8668 -r c502933be072 slides/slides05.tex
--- a/slides/slides05.tex	Mon Sep 18 14:02:46 2017 +0100
+++ b/slides/slides05.tex	Tue Sep 26 12:19:54 2017 +0100
@@ -30,7 +30,7 @@
   \begin{center}
   \begin{tabular}{ll}
   Email:  & christian.urban at kcl.ac.uk\\
-  Office: & S1.27 (1st floor Strand Building)\\
+  Office: & N7.07 (North Wing, Bush House)\\
   Slides: & KEATS (also home work is there)\\
   \end{tabular}
   \end{center}
diff -r dfd0f41f8668 -r c502933be072 slides/slides06.tex
--- a/slides/slides06.tex	Mon Sep 18 14:02:46 2017 +0100
+++ b/slides/slides06.tex	Tue Sep 26 12:19:54 2017 +0100
@@ -28,7 +28,7 @@
   \begin{center}
   \begin{tabular}{ll}
   Email:  & christian.urban at kcl.ac.uk\\
-  Office: & S1.27 (1st floor Strand Building)\\
+  Office: & N7.07 (North Wing, Bush House)\\
   Slides: & KEATS (also home work is there)\\
   \end{tabular}
   \end{center}
diff -r dfd0f41f8668 -r c502933be072 slides/slides07.tex
--- a/slides/slides07.tex	Mon Sep 18 14:02:46 2017 +0100
+++ b/slides/slides07.tex	Tue Sep 26 12:19:54 2017 +0100
@@ -25,7 +25,7 @@
   \begin{center}
   \begin{tabular}{ll}
   Email:  & christian.urban at kcl.ac.uk\\
-  Office: & S1.27 (1st floor Strand Building)\\
+  Office: & N7.07 (North Wing, Bush House)\\
   Slides: & KEATS (also home work is there)\\
   \end{tabular}
   \end{center}
diff -r dfd0f41f8668 -r c502933be072 slides/slides08.tex
--- a/slides/slides08.tex	Mon Sep 18 14:02:46 2017 +0100
+++ b/slides/slides08.tex	Tue Sep 26 12:19:54 2017 +0100
@@ -23,7 +23,7 @@
   \begin{center}
   \begin{tabular}{ll}
   Email:  & christian.urban at kcl.ac.uk\\
-  Office: & S1.27 (1st floor Strand Building)\\
+  Office: & N7.07 (North Wing, Bush House)\\
   Slides: & KEATS (also home work is there)\\
   \end{tabular}
   \end{center}
diff -r dfd0f41f8668 -r c502933be072 slides/slides09.tex
--- a/slides/slides09.tex	Mon Sep 18 14:02:46 2017 +0100
+++ b/slides/slides09.tex	Tue Sep 26 12:19:54 2017 +0100
@@ -53,7 +53,7 @@
   \begin{center}
   \begin{tabular}{ll}
   Email:  & christian.urban at kcl.ac.uk\\
-  Office: & S1.27 (1st floor Strand Building)\\
+  Office: & N7.07 (North Wing, Bush House)\\
   Slides: & KEATS (also home work is there)\\
   \end{tabular}
   \end{center}
diff -r dfd0f41f8668 -r c502933be072 slides/slides10.tex
--- a/slides/slides10.tex	Mon Sep 18 14:02:46 2017 +0100
+++ b/slides/slides10.tex	Tue Sep 26 12:19:54 2017 +0100
@@ -51,7 +51,7 @@
   \begin{center}
   \begin{tabular}{ll}
   Email:  & christian.urban at kcl.ac.uk\\
-  Office: & S1.27 (1st floor Strand Building)\\
+  Office: & N7.07 (North Wing, Bush House)\\
   Slides: & KEATS (also home work is there)\\
   \end{tabular}
   \end{center}
diff -r dfd0f41f8668 -r c502933be072 slides/slides11.tex
--- a/slides/slides11.tex	Mon Sep 18 14:02:46 2017 +0100
+++ b/slides/slides11.tex	Tue Sep 26 12:19:54 2017 +0100
@@ -49,7 +49,7 @@
   \begin{center}
   \begin{tabular}{ll}
   Email:  & christian.urban at kcl.ac.uk\\
-  Office: & S1.27 (1st floor Strand Building)\\
+  Office: & N7.07 (North Wing, Bush House)\\
   Slides: & KEATS (also home work is there)\\
   \end{tabular}
   \end{center}
diff -r dfd0f41f8668 -r c502933be072 slides/slides12.tex
--- a/slides/slides12.tex	Mon Sep 18 14:02:46 2017 +0100
+++ b/slides/slides12.tex	Tue Sep 26 12:19:54 2017 +0100
@@ -25,7 +25,7 @@
   \begin{center}
   \begin{tabular}{ll}
   Email:  & christian.urban at kcl.ac.uk\\
-  Office: & S1.27 (1st floor Strand Building)\\
+  Office: & N7.07 (North Wing, Bush House)\\
   Slides: & KEATS (also home work is there)\\
   \end{tabular}
   \end{center}