# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1325162522 0
# Node ID 84a2e0fb488b2b05eafcdb4cf8d2b7fcdb51a587
# Parent  252c0a02e3bc94fadeabec44c1ad238d581e58db
typo

diff -r 252c0a02e3bc -r 84a2e0fb488b publications.html
--- a/publications.html	Wed Dec 28 20:47:40 2011 +0000
+++ b/publications.html	Thu Dec 29 12:42:02 2011 +0000
@@ -89,7 +89,7 @@
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">pdf</A>]
 
 <p><B>General Bindings and Alpha-Equivalence in Nominal Isabelle.</B> 
-      (with Kaliszyk) Accepted for publication in the Journal on Logical
+      (with Kaliszyk) Accepted for publication in the journal on Logical
       Methods in Computer Science.
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lmcs.pdf">pdf</A>]