publications.html
changeset 621 3ea00e44d10b
parent 620 dc3e7e763f6b
child 622 a07c2b895cf5
--- 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>