diff -r 6ddd1deb3566 -r 7ad27eb1d1b8 teaching.html
--- a/teaching.html	Mon Jul 28 12:31:39 2014 +0100
+++ b/teaching.html	Sat Aug 02 16:35:56 2014 +0100
@@ -98,7 +98,7 @@
   starts a MSc in Bioinformatics at Imperial) X86-Code Generator for a small Compiler</li>
 <li>Daniel Zurawski (BSc 2012-2013, King's, mark: 75%, works now at MailOne) Lisp to JavaScript Translator in Clojure</li>
 <li>Biljana Naumova (BSc 2012-2013, King's) Regular Expression Equivalence Checking using Asperti's Algorithm</li>
-<li>Spencer Jevon (BSc 2012-2013, King's) Automata Minimisation using Brzozowski's Algorithm</li>
+<li>Spencer Jevon (BSc 2012-2013, King's, mark: 73%) Automata Minimisation using Brzozowski's Algorithm</li>
 <li>Maciej Surmacz (MSc 2012-2013, King's) A Student Polling System</li>
 <li>Syed Fahad Jafri (MSc 2012-2013, King's, mark: 78%) MS IL Code Generator for a Simple Compiler</li>
 <li>Schwit Janwityanujit (MSc 2012-2013, King's) Syntax Highlighting in Web-Browsers</li>
@@ -122,6 +122,7 @@
 <li>Dragisa Zunic (2007, ENS in Lyon)
 <li>Clement Houtmann (2010, INRIA Bordeaux)
 <li>Nikolai Sultana (2014, Cambridge)
+<li>Andrew Boyton (2014, UNSW Australia)  
 </ul>
 
 </TD>
@@ -449,7 +450,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Sun Jul 13 17:49:55 CEST 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Sat Aug  2 15:45:56 BST 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>