equal
deleted
inserted
replaced
10 \usepgflibrary{shapes.misc} % LATEX and plain TEX and pure pgf |
10 \usepgflibrary{shapes.misc} % LATEX and plain TEX and pure pgf |
11 \usetikzlibrary{matrix} |
11 \usetikzlibrary{matrix} |
12 \usepackage{pdfsetup} |
12 \usepackage{pdfsetup} |
13 \usepackage{ot1patch} |
13 \usepackage{ot1patch} |
14 \usepackage{times} |
14 \usepackage{times} |
15 \usepackage{proof} |
15 %%\usepackage{proof} |
16 %%\usepackage{mathabx} |
16 %%\usepackage{mathabx} |
17 \usepackage{stmaryrd} |
17 \usepackage{stmaryrd} |
18 |
18 |
19 \titlerunning{Myhill-Nerode using Regular Expressions} |
19 \titlerunning{Myhill-Nerode using Regular Expressions} |
20 |
20 |