# HG changeset patch # User Christian Urban # Date 1347461346 -7200 # Node ID cbe1b90ddc96cbc6d3c69053d2871c7c83097efe # Parent 5c859bb0358bc97d45bb446c809e1625991c11ff tuned 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 @@