equal
deleted
inserted
replaced
7 \usepackage{amsmath} |
7 \usepackage{amsmath} |
8 \usepackage{mathpartir} |
8 \usepackage{mathpartir} |
9 \usepackage{pdfsetup} |
9 \usepackage{pdfsetup} |
10 \usepackage{tikz} |
10 \usepackage{tikz} |
11 \usepackage{pgf} |
11 \usepackage{pgf} |
|
12 |
|
13 %% for testing |
|
14 \usepackage{endnotes} |
|
15 \let\footnote=\endnote |
12 |
16 |
13 % urls in roman style, theory text in math-similar italics |
17 % urls in roman style, theory text in math-similar italics |
14 \urlstyle{rm} |
18 \urlstyle{rm} |
15 \isabellestyle{it} |
19 \isabellestyle{it} |
16 |
20 |