equal
deleted
inserted
replaced
10 \usepackage{url} |
10 \usepackage{url} |
11 \usepackage[a4paper,hscale=0.67,vscale=0.76]{geometry} |
11 \usepackage[a4paper,hscale=0.67,vscale=0.76]{geometry} |
12 \usepackage{lineno} |
12 \usepackage{lineno} |
13 \usepackage{xcolor} |
13 \usepackage{xcolor} |
14 \usepackage{framed} |
14 \usepackage{framed} |
|
15 \usepackage{boxedminipage} |
15 \usepackage{mathpartir} |
16 \usepackage{mathpartir} |
16 \usepackage{pdfsetup} |
17 \usepackage{pdfsetup} |
17 |
18 |
18 \urlstyle{rm} |
19 \urlstyle{rm} |
19 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |
20 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text |
35 |
36 |
36 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
37 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
37 % sane default for proof documents |
38 % sane default for proof documents |
38 \parindent 0pt |
39 \parindent 0pt |
39 \parskip 0.6ex |
40 \parskip 0.6ex |
40 \abovecaptionskip -3mm |
41 \abovecaptionskip 1mm |
41 \belowcaptionskip 10mm |
42 \belowcaptionskip 10mm |
42 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
43 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
43 \hyphenation{Isabelle} |
44 \hyphenation{Isabelle} |
44 \renewcommand{\isasymiota}{} |
45 \renewcommand{\isasymiota}{} |
45 |
46 |