equal
deleted
inserted
replaced
15 \usepackage{mathpartir} |
15 \usepackage{mathpartir} |
16 \usepackage{flafter} |
16 \usepackage{flafter} |
17 \usepackage{makeidx} |
17 \usepackage{makeidx} |
18 \usepackage{index} |
18 \usepackage{index} |
19 \usepackage{tocbibind} |
19 \usepackage{tocbibind} |
|
20 \usepackage{tikz} |
|
21 \usetikzlibrary{shadows} |
20 \usepackage{pdfsetup} |
22 \usepackage{pdfsetup} |
21 |
23 |
22 |
24 |
23 \urlstyle{rm} |
25 \urlstyle{rm} |
24 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |
26 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |