Mercurial Mercurial > hg > regexp / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
corrected typo
authorurbanc
Fri, 26 Aug 2011 17:29:07 +0000
changeset 219 296930182fe1
parent 218 28e98ede8599
child 220 91e3e906034c
corrected typo
Journal/document/root.bib file | annotate | diff | comparison | revisions 
--- a/Journal/document/root.bib	Fri Aug 26 17:23:46 2011 +0000
+++ b/Journal/document/root.bib	Fri Aug 26 17:29:07 2011 +0000
@@ -1,7 +1,7 @@
 
 @incollection{myhillnerodeafp11,
   author =       {C.~Wu and X.~Zhang and C.~Urban},
-  title =        {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions},
+  title =        {{T}he {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions},
   booktitle =    {The Archive of Formal Proofs},
   editor =       {G.~Klein and T.~Nipkow and L.~Paulson},
   publisher =    {\url{http://afp.sf.net/entries/Myhill-Nerode.shtml}},
regexp