equal
deleted
inserted
replaced
11 \usepackage{ot1patch} |
11 \usepackage{ot1patch} |
12 \usepackage{stmaryrd} |
12 \usepackage{stmaryrd} |
13 \usepackage{url} |
13 \usepackage{url} |
14 \usepackage{color} |
14 \usepackage{color} |
15 |
15 |
16 \titlerunning{POSIX Lexing with Derivatives} |
16 \titlerunning{POSIX Lexing with Derivatives of Regular Expressions} |
17 |
17 |
18 \urlstyle{rm} |
18 \urlstyle{rm} |
19 \isabellestyle{it} |
19 \isabellestyle{it} |
20 \renewcommand{\isastyleminor}{\it}% |
20 \renewcommand{\isastyleminor}{\it}% |
21 \renewcommand{\isastyle}{\normalsize\it}% |
21 \renewcommand{\isastyle}{\normalsize\it}% |