# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1497646172 -3600
# Node ID ce53d799ee643b74a581d57842e83d1e56b953b4
# Parent  32b53e406653fad39be1a049b152904b61c0d6d0
typo

diff -r 32b53e406653 -r ce53d799ee64 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>