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