Mercurial Mercurial > hg > public_html / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Tue, 04 Jun 2013 11:06:00 +0100
changeset 198 2814fbaebb04
parent 197 2a65056de0cb
child 199 b3b67c7cbb8b
added
teaching.html file | annotate | diff | comparison | revisions 
--- a/teaching.html	Tue Jun 04 10:56:32 2013 +0100
+++ b/teaching.html	Tue Jun 04 11:06:00 2013 +0100
@@ -93,10 +93,10 @@
 <li>Darius Hodaei (MSc 2011-2012, King's) A Compiler for System F</li>
 <li>Jian Jiang (MSc 2011-2012, King's) Suffix Array Sorting, 
 received the prize of the best MSc thesis in 2012</li>
-<li>Mateusz Bieniek (BSc 2012-2013) X86 Code Generator for a small Compiler</li>
+<li>Mateusz Bieniek (BSc 2012-2013) X86-Code Generator for a small Compiler</li>
 <li>Daniel Zurawski (BSc 2012-2013) Lisp to JavaScript Translator in Clojure</li>
 <li>Biljana Naumova (BSc 2012-2013) Regular Expression Equivalence Checking using Asperti's Algorithm</li>
-<li>SpencerJevon (BSc 2012-2013) Automata Minimisation using Brzozowski's Algorithm</li>
+<li>Spencer Jevon (BSc 2012-2013) Automata Minimisation using Brzozowski's Algorithm</li>
 </ul>
 
 <p>Examiner of PhD-theses:
public_html