--- a/publications.html Sun May 08 08:34:30 2016 +0100
+++ b/publications.html Sun May 08 10:08:32 2016 +0100
@@ -28,7 +28,7 @@
BGCOLOR="#4169E1"
BORDER="0"
FRAME="border"
- CELLPADDING="12"
+ CELLPADDING="11"
CELLSPACING="2"
RULES="all">
@@ -518,7 +518,7 @@
</TABLE>
<P>
-<!-- hhmts start --> Last modified: Sun May 8 08:34:16 BST 2016 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Sun May 8 10:08:26 BST 2016 <!-- hhmts end -->
<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
</BODY>