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