diff -r 5c859bb0358b -r cbe1b90ddc96 teaching.html
--- a/teaching.html	Tue Sep 11 11:40:36 2012 +0200
+++ b/teaching.html	Wed Sep 12 16:49:06 2012 +0200
@@ -92,7 +92,6 @@
 
Akhil Junghare (2011-2012, King's) Lexing and Parsing using Derivatives
 Darius Hodaei (2011-2012, King's) A Compiler for System F
 Jian Jiang (2011-2012, King's) Suffix Array Sorting
-Adnan Noureddine (2011-2012, King's) Equivalence Checking of Regular Expressions
 
 
 
@@ -104,6 +103,7 @@
 
 
 - Automata and Formal Languages course
+
 - Access Control and Privacy Policies