# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1344994482 -3600
# Node ID cf728f2deab860fedfb88c7221b6f1cd1ec37dcd
# Parent  2062a71a052c51a6527bafd6fa3f1886adc8167b
tuned

diff -r 2062a71a052c -r cf728f2deab8 teaching.html
--- a/teaching.html	Sat Aug 04 11:49:00 2012 +0100
+++ b/teaching.html	Wed Aug 15 02:34:42 2012 +0100
@@ -90,7 +90,7 @@
 <li><A HREF="http://www.lsv.ens-cachan.fr/~arnaud">Mathilde Arnaud</A> 
 (2007, ENS Cachan, France) Formalization of Generative Unbinding</li>
 <li>Akhil Junghare (2011-2012, King's) Lexing and Parsing using Derivatives</li>
-<li>Darius Hodei (2011-2012, King's) A Compiler for System F</li>
+<li>Darius Hodaei (2011-2012, King's) A Compiler for System F</li>
 <li>Jian Jiang (2011-2012, King's) Suffix Array Sorting</li>
 <li>Adnan Noureddine (2011-2012, King's) Equivalence Checking of Regular Expressions</li>
 </ul>