equal
deleted
inserted
replaced
12 \usepackage{ot1patch} |
12 \usepackage{ot1patch} |
13 \usepackage{stmaryrd} |
13 \usepackage{stmaryrd} |
14 \usepackage{url} |
14 \usepackage{url} |
15 \usepackage{color} |
15 \usepackage{color} |
16 |
16 |
|
17 \usepackage{mathtools} |
|
18 |
17 \titlerunning{POSIX Lexing with Derivatives of Regular Expressions} |
19 \titlerunning{POSIX Lexing with Derivatives of Regular Expressions} |
18 |
20 |
19 \urlstyle{rm} |
21 \urlstyle{rm} |
20 \isabellestyle{it} |
22 \isabellestyle{it} |
21 \renewcommand{\isastyleminor}{\it}% |
23 \renewcommand{\isastyleminor}{\it}% |
24 |
26 |
25 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,} |
27 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,} |
26 \renewcommand{\isasymequiv}{$\dn$} |
28 \renewcommand{\isasymequiv}{$\dn$} |
27 \renewcommand{\isasymemptyset}{$\varnothing$} |
29 \renewcommand{\isasymemptyset}{$\varnothing$} |
28 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
30 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
29 %%\renewcommand{\isacharprime}{\makebox[0mm]{$\mbox{}\mbox{$\,^\prime$}$}} |
31 \renewcommand{\isasymiota}{\makebox[0mm]{${}^{\prime}$}} |
|
32 %%\makebox[0mm]{$\mbox{}\mbox{$\,^\prime$}$}} |
30 |
33 |
31 \definecolor{mygrey}{rgb}{.80,.80,.80} |
34 \definecolor{mygrey}{rgb}{.80,.80,.80} |
32 \def\Brz{Brzozowski} |
35 \def\Brz{Brzozowski} |
33 \def\der{\backslash} |
36 \def\der{\backslash} |
34 \newcommand{\eps}{\varepsilon} |
37 \newcommand{\eps}{\varepsilon} |