equal
deleted
inserted
replaced
10 \usepackage{url} |
10 \usepackage{url} |
11 \usepackage[a4paper,hscale=0.67,vscale=0.76]{geometry} |
11 \usepackage[a4paper,hscale=0.67,vscale=0.76]{geometry} |
12 \usepackage{lineno} |
12 \usepackage{lineno} |
13 \usepackage{xcolor} |
13 \usepackage{xcolor} |
14 \usepackage{framed} |
14 \usepackage{framed} |
|
15 \usepackage{mathpartir} |
15 \usepackage{pdfsetup} |
16 \usepackage{pdfsetup} |
16 |
17 |
17 \urlstyle{rm} |
18 \urlstyle{rm} |
18 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |
19 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |
19 \renewcommand{\isastyleminor}{\tt\slshape}% |
20 \renewcommand{\isastyleminor}{\tt\slshape}% |