typo
authorChristian Urban <urbanc@in.tum.de>
Fri, 16 Jun 2017 21:49:32 +0100
changeset 472 ce53d799ee64
parent 471 32b53e406653
child 473 a6f2847465eb
typo
publications.html
--- 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>