Mercurial Mercurial > hg > regexp / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Paper/document/root.tex
changeset 116 342983676c8f
parent 115 c5f138b5fc88
child 123 23c0e6f2929d 
--- a/Paper/document/root.tex	Fri Feb 18 15:06:06 2011 +0000
+++ b/Paper/document/root.tex	Sat Feb 19 10:23:51 2011 +0000
@@ -31,7 +31,7 @@
 
 \title{A Formalisation of the Myhill-Nerode Theorem\\ based on Regular
   Expressions (Proof Pearl)}
-\author{Chunhan Wu\inst{1} \and Xingjuan Zhang\inst{1} \and Christian Urban\inst{2}}
+\author{Chunhan Wu\inst{1} \and Xingyuan Zhang\inst{1} \and Christian Urban\inst{2}}
 \institute{PLA University of Science and Technology, China \and TU Munich, Germany}
 \maketitle
regexp