Mercurial Mercurial > hg > lexing / 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.
ChengsongTanPhdThesis/Chapters/Chapter2.tex
changeset 514 036600af4c30
parent 507 213220f54a6e
child 515 84938708781d 
--- a/ChengsongTanPhdThesis/Chapters/Chapter2.tex	Mon May 09 17:24:26 2022 +0100
+++ b/ChengsongTanPhdThesis/Chapters/Chapter2.tex	Tue May 17 00:54:29 2022 +0100
@@ -214,7 +214,7 @@
 same trick as we did for the correctness proof,
 but this time we will have stronger equalities established.
 \subsection{"hrewrite" relation}
-List of simplifications for regular expressions simplification without bitcodes:
+List of 1-step rewrite rules for regular expressions simplification without bitcodes:
 \
lexing