equal
deleted
inserted
replaced
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{tocbibind} |
18 \usepackage{tocbibind} |
|
19 \usepackage{index} |
19 \usepackage{pdfsetup} |
20 \usepackage{pdfsetup} |
|
21 |
20 |
22 |
21 \urlstyle{rm} |
23 \urlstyle{rm} |
22 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |
24 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |
23 \renewcommand{\isastyleminor}{\tt\slshape}% |
25 \renewcommand{\isastyleminor}{\tt\slshape}% |
24 \renewcommand{\isastyle}{\small\tt\slshape}% |
26 \renewcommand{\isastyle}{\small\tt\slshape}% |