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/main.tex
changeset 538 8016a2480704
parent 537 50e590823220
child 542 a7344c9afbaf 
--- a/ChengsongTanPhdThesis/main.tex	Mon Jun 06 23:17:45 2022 +0100
+++ b/ChengsongTanPhdThesis/main.tex	Thu Jun 09 12:57:53 2022 +0100
@@ -68,7 +68,7 @@
 \usepackage{tikz-cd}
 \usepackage{tikz}
 \usetikzlibrary{automata, positioning, calc}
-
+\usepackage{mathpartir}
 
 
 \DeclareCaptionType{mytype}[Illustration][]
lexing