# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1586532010 -3600
# Node ID 0de3527e6ae38f544f292122a7926358a5eb2296
# Parent  b7f9460c6a1c76c57b0567569fd89e018cd13433
updated

diff -r b7f9460c6a1c -r 0de3527e6ae3 coursework/cw01.pdf
Binary file coursework/cw01.pdf has changed
diff -r b7f9460c6a1c -r 0de3527e6ae3 coursework/cw01.tex
--- a/coursework/cw01.tex	Fri Apr 10 16:12:33 2020 +0100
+++ b/coursework/cw01.tex	Fri Apr 10 16:20:10 2020 +0100
@@ -11,7 +11,7 @@
 
 \section*{Coursework 1 (Strand 1)}
 
-This coursework is worth 4\% and is due on 11 October at
+This coursework is worth 4\% and is due on \cwONE{} at
 18: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
diff -r b7f9460c6a1c -r 0de3527e6ae3 coursework/cw02.pdf
Binary file coursework/cw02.pdf has changed
diff -r b7f9460c6a1c -r 0de3527e6ae3 coursework/cw02.tex
--- a/coursework/cw02.tex	Fri Apr 10 16:12:33 2020 +0100
+++ b/coursework/cw02.tex	Fri Apr 10 16:20:10 2020 +0100
@@ -7,8 +7,8 @@
 
 \section*{Coursework 2 (Strand 1)}
 
-\noindent This coursework is worth 5\% and is due on 4
-November at 18:00. You are asked to implement the Sulzmann \&
+\noindent This coursework is worth 5\% and is due on
+\cwTWO{} at 18: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
 need to submit the source code with which you answered the
diff -r b7f9460c6a1c -r 0de3527e6ae3 coursework/cw03.pdf
Binary file coursework/cw03.pdf has changed
diff -r b7f9460c6a1c -r 0de3527e6ae3 coursework/cw03.tex
--- a/coursework/cw03.tex	Fri Apr 10 16:12:33 2020 +0100
+++ b/coursework/cw03.tex	Fri Apr 10 16:20:10 2020 +0100
@@ -7,8 +7,8 @@
 
 \section*{Coursework 3}
 
-\noindent This coursework is worth 5\% and is due on 22 
-November at 18:00. You are asked to implement a parser for the
+\noindent This coursework is worth 5\% and is due on \cwTHREE{} 
+at 18:00. You are asked to implement a parser for the
 WHILE language and also an interpreter. You can do the
 implementation in any programming language you like, but you
 need to submit the source code with which you answered the
diff -r b7f9460c6a1c -r 0de3527e6ae3 coursework/cw04.pdf
Binary file coursework/cw04.pdf has changed
diff -r b7f9460c6a1c -r 0de3527e6ae3 coursework/cw04.tex
--- a/coursework/cw04.tex	Fri Apr 10 16:12:33 2020 +0100
+++ b/coursework/cw04.tex	Fri Apr 10 16:20:10 2020 +0100
@@ -13,8 +13,8 @@
 
 \section*{Coursework 4 (Strand 1)}
 
-\noindent This coursework is worth 6\% and is due on 13
-December at 18:00. You are asked to implement a compiler for
+\noindent This coursework is worth 6\% and is due on \cwFOUR{}
+at 18:00. You are asked to implement a compiler for
 the WHILE language that targets the assembler language
 provided by Jasmin or Krakatau (both have very similar
 syntax). You can do the implementation in any programming
diff -r b7f9460c6a1c -r 0de3527e6ae3 coursework/cw05.tex
--- a/coursework/cw05.tex	Fri Apr 10 16:12:33 2020 +0100
+++ b/coursework/cw05.tex	Fri Apr 10 16:20:10 2020 +0100
@@ -7,7 +7,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 \cwISABELLE{} at
 18: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 and also a document
diff -r b7f9460c6a1c -r 0de3527e6ae3 style.sty
--- a/style.sty	Fri Apr 10 16:12:33 2020 +0100
+++ b/style.sty	Fri Apr 10 16:20:10 2020 +0100
@@ -83,3 +83,12 @@
 feel free to share any other questions or concerns. Also, all my
 material is \st{crap} imperfect. If you have any suggestions for
 improvement, I am very grateful to hear.} 
+
+
+% CW deadlines
+\def\cwONE{11 October}
+\def\cwTWO{4 November}
+\def\cwTHREE{22 November}
+\def\cwFOUR{11 December}
+
+\def\cwISABELLE{11 December}