# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1352018704 0
# Node ID 7acf8ff8cb0d204acc4bf8a184e1a38727041e9d
# Parent  653f9fc5de595af2804b23cf732603102b572353
added

diff -r 653f9fc5de59 -r 7acf8ff8cb0d publications.html
--- a/publications.html	Fri Oct 19 09:40:00 2012 +0100
+++ b/publications.html	Sun Nov 04 08:45:04 2012 +0000
@@ -279,7 +279,7 @@
 <p><B>Nominal Logic Programming.</B> (with Cheney)
       In <A HREF="http://dl.acm.org/citation.cfm?id=1387675">
       ACM Transactions on Programming Languages and Systems</A>, 
-      2008, Vol. 30(5), Article 26, pages 1-47.
+      2008, Vol. 30(5), pages 26:1-26:47.
 </TD>
 </TR>
 
diff -r 653f9fc5de59 -r 7acf8ff8cb0d teaching.html
--- a/teaching.html	Fri Oct 19 09:40:00 2012 +0100
+++ b/teaching.html	Sun Nov 04 08:45:04 2012 +0000
@@ -91,7 +91,8 @@
 (2007, ENS Cachan, France) Formalization of Generative Unbinding</li>
 <li>Akhil Junghare (2011-2012, King's) Lexing and Parsing using Derivatives</li>
 <li>Darius Hodaei (2011-2012, King's) A Compiler for System F</li>
-<li>Jian Jiang (2011-2012, King's) Suffix Array Sorting, got the prize of the best overall MSc thesis</li>
+<li>Jian Jiang (2011-2012, King's) Suffix Array Sorting, 
+received the prize of the best overall MSc thesis</li>
 </ul>
 
 </TD>