diff -r b7bf46c8e3d9 -r 90f4682c4343 publications.html
--- a/publications.html	Tue Sep 03 14:01:56 2013 +0100
+++ b/publications.html	Tue Sep 03 14:04:44 2013 +0100
@@ -113,7 +113,7 @@
       Theorem Proving (ITP 2013). In Volume 7998 of Lecture Notes in 
       Computer Science. Pages 147-162.
       &copy <A HREF="http://link.springer.com/chapter/10.1007/978-3-642-39634-2_13">Springer Verlag</A>
-      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/tm.pdf">pdf</A>]
+      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/tm.pdf">pdf</A>]<BR><BR>
 
       (The phrase in the abstract is meant to say &quot; we tie the knot ... &quot;. This typo
       is corrected in the version above.)
@@ -131,7 +131,7 @@
 <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. 35 pages. 
-      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lmcs.pdf">pdf</A>]<BR><BR>
+      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lmcs.pdf">pdf</A>]
 
 <p><b>Priority Inheritance Protocol Proved Correct.</B> 
       (with Zhang and Wu) In Proceedings of the 3rd Conference on Interactive
@@ -495,7 +495,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Tue Sep  3 14:01:29 BST 2013 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Tue Sep  3 14:03:54 BST 2013 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
  
 </BODY>