# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1362158905 0
# Node ID 209fd285c86ff327cdfc6997215e2b258955064e
# Parent  44c4450152e3c40f06995059677a1b9bffbad8da
updated

diff -r 44c4450152e3 -r 209fd285c86f Journal/document/root.tex
--- a/Journal/document/root.tex	Fri Mar 01 17:13:32 2013 +0000
+++ b/Journal/document/root.tex	Fri Mar 01 17:28:25 2013 +0000
@@ -50,6 +50,8 @@
 
 \title{A Formalisation of the Myhill-Nerode Theorem\\ based on Regular
   Expressions$^\star$\thanks{$^\star$ This is a revised and much expanded version of \cite{WuZhangUrban11}.}}
+\titlerunning{A Formalisation of the Myhill-Nerode Theorem based on Regular
+  Expressions}
 %\author{Chunhan Wu\\PLA University of Science and Technology Nanjing, China \and
 %Xingyuan Zhang\\PLA University of Science and Technology Nanjing, China \and
 %Christian Urban\\ King's College London, United Kingdom}