--- a/publications.html Fri Jun 16 21:47:25 2017 +0100 +++ b/publications.html Fri Jun 16 21:49:32 2017 +0100 @@ -120,7 +120,7 @@ </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>