# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1403313570 -3600
# Node ID 79b45f50e07671dac814197eaa1f216748e895e3
# Parent  a7a71c7c86e1ea4d8e672ffd2a6fcb6e78c6f16d
teaching

diff -r a7a71c7c86e1 -r 79b45f50e076 teaching.html
--- a/teaching.html	Sat Jun 21 02:02:23 2014 +0100
+++ b/teaching.html	Sat Jun 21 02:19:30 2014 +0100
@@ -111,7 +111,9 @@
 <li>Pawel Huszcza (MSci 2013-2014, King's) A Simple Compiler Targeting LLVM</li>
 <li>Jan Soendermann (BSc 2013-2014, King's, studies for his MSc at Cambridge University)
 A Lisp Compiler Targeting JavaScript/Asm.js</li>
-<li>Ritu Kundu (MSc 2013-2014, King's) Modern Slide-Making in JavaScript</li>
+<li>Ritu Kundu (MSc 2013-2014, King's) Modern Slide-Making in Elm and JavaScript</li>
+<li>Vladislav Kononov (MSc 2013-2014, King's) Regular Expression Matching with Derivatives</li> 
+<li>Daniel Martinez (MSc 2013-2014, King's) Raspberry Pi Network</li> 
 </ul>
 
 <p>Examiner of PhD-theses:
@@ -434,7 +436,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Tue Jun  3 20:41:57 BST 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Sat Jun 21 02:19:17 BST 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>