--- a/coursework/cw05.tex	Tue Jul 30 23:44:56 2019 +0100
+++ b/coursework/cw05.tex	Wed Sep 25 11:24:34 2019 +0100
@@ -1,3 +1,4 @@
+% !TEX program = xelatex
 \documentclass{article}
 \usepackage{../style}
 \usepackage{../langs}
@@ -6,7 +7,7 @@
 
 \section*{Coursework (Strand 2)}
 
-\noindent This coursework is worth 20\% and is due on 14 December at
+\noindent This coursework is worth 20\% and is due on 13 December 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. The