equal
deleted
inserted
replaced
12 \usepackage{lineno} |
12 \usepackage{lineno} |
13 \usepackage{xcolor} |
13 \usepackage{xcolor} |
14 \usepackage{framed} |
14 \usepackage{framed} |
15 \usepackage{boxedminipage} |
15 \usepackage{boxedminipage} |
16 \usepackage{mathpartir} |
16 \usepackage{mathpartir} |
|
17 \usepackage{flafter} |
17 \usepackage{pdfsetup} |
18 \usepackage{pdfsetup} |
18 |
19 |
19 \urlstyle{rm} |
20 \urlstyle{rm} |
20 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |
21 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |
21 \renewcommand{\isastyleminor}{\tt\slshape}% |
22 \renewcommand{\isastyleminor}{\tt\slshape}% |