# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1346204848 -3600
# Node ID 8c5973b8c3a357773e7e910ded29f8558a672a40
# Parent  6e9c0d53ea69ca1fec67340c08aa151bd5777f9b
tuned

diff -r 6e9c0d53ea69 -r 8c5973b8c3a3 publications.html
--- a/publications.html	Mon Aug 27 19:35:04 2012 +0100
+++ b/publications.html	Wed Aug 29 02:47:28 2012 +0100
@@ -105,7 +105,7 @@
 <H3>2012</H3>
 <p><B>General Bindings and Alpha-Equivalence in Nominal Isabelle.</B> 
       (with Kaliszyk) Journal of Logical
-      Methods in Computer Science, Volume 8 (2:14), 2012.
+      Methods in Computer Science, Volume 8 (2:14), 2012. 35 pages. 
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lmcs.pdf">pdf</A>]
 
 <p><b>Priority Inheritance Protocol Proved Correct.</B>