equal
deleted
inserted
replaced
8 \usepackage{stmaryrd} |
8 \usepackage{stmaryrd} |
9 \usepackage{mathpartir} |
9 \usepackage{mathpartir} |
10 \usepackage{pdfsetup} |
10 \usepackage{pdfsetup} |
11 \usepackage{tikz} |
11 \usepackage{tikz} |
12 \usepackage{pgf} |
12 \usepackage{pgf} |
|
13 \usepackage{color} |
13 |
14 |
14 %% for testing |
15 %% for testing |
15 \usepackage{endnotes} |
16 \usepackage{endnotes} |
16 \let\footnote=\endnote |
17 \let\footnote=\endnote |
17 |
18 |
18 % urls in roman style, theory text in math-similar italics |
19 % urls in roman style, theory text in math-similar italics |
19 \urlstyle{rm} |
20 \urlstyle{rm} |
20 \isabellestyle{it} |
21 \isabellestyle{it} |
|
22 |
|
23 % gray boxes |
|
24 \definecolor{mygrey}{rgb}{.80,.80,.80} |
21 |
25 |
22 % mathpatir |
26 % mathpatir |
23 \mprset{sep=0.8em} |
27 \mprset{sep=0.8em} |
24 \mprset{center=false} |
28 \mprset{center=false} |
25 \mprset{flushleft=true} |
29 \mprset{flushleft=true} |