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