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>