diff -r dc3e7e763f6b -r 3ea00e44d10b publications.html
--- a/publications.html	Thu Oct 27 08:17:23 2022 +0100
+++ b/publications.html	Thu Oct 27 08:19:36 2022 +0100
@@ -73,7 +73,6 @@
 <H3>Pending</H3>
 <p><B>POSIX Lexing with Bitcoded Derivatives.</B>
       (with Tan) 
-</TD>  
 <p><B>POSIX Lexing with Derivatives of Regular Expressions.</B>
       Journal version.
 </TD>