# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1462699002 -3600
# Node ID f430f336dc78d83072a9ece12fddabb3268d358c
# Parent  988e2889084264ce01ed9b3c3f0ad8fbf36c574f
updated

diff -r 988e28890842 -r f430f336dc78 publications.html
--- a/publications.html	Sun May 08 10:08:32 2016 +0100
+++ b/publications.html	Sun May 08 10:16:42 2016 +0100
@@ -37,7 +37,7 @@
 <TD BGCOLOR="#FFFFFF" 
     WIDTH="24%" 
     VALIGN="TOP" 
-    ROWSPAN="20">
+    ROWSPAN="21">
 
 <B>Links</B><BR>
 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR>
@@ -98,11 +98,11 @@
 <H3>2015</H3>
 <p><B>Proceedings of the 6th International Conference on Interactive Theorem Proving</B> 
       (with Zhang) Volume <A HREF="http://link.springer.com/book/10.1007/978-3-319-22102-1">9236</A>
-      of LNCS, Springer Verlag, 2015
+      of LNCS, Springer Verlag, 2015.
 </TD>
 </TR>
 
-<TR>
+</TR>
 <TD BGCOLOR="FFFFFF" WIDTH="75%">
 <H3>2014</H3>
 <p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions.</B> 
@@ -518,7 +518,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Sun May  8 10:08:26 BST 2016 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Sun May  8 10:16:10 BST 2016 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
  
 </BODY>