--- a/bsc-projects-14.html Mon Jul 28 12:31:39 2014 +0100
+++ b/bsc-projects-14.html Sat Aug 02 16:35:56 2014 +0100
@@ -145,7 +145,7 @@
can be also used, but seem much less convenient.
</p>
-<li> <H4>[CU2] A Compiler for a Programming Language</H4>
+<li> <H4>[CU2] A Compiler for a small Programming Language</H4>
<p>
<b>Description:</b>
@@ -606,7 +606,7 @@
</TABLE>
<P>
-<!-- hhmts start --> Last modified: Mon Jul 28 11:19:49 BST 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Mon Jul 28 21:08:53 BST 2014 <!-- hhmts end -->
<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
</BODY>
</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>