equal
deleted
inserted
replaced
39 \parskip 0.6ex |
39 \parskip 0.6ex |
40 \abovecaptionskip -3mm |
40 \abovecaptionskip -3mm |
41 \belowcaptionskip 10mm |
41 \belowcaptionskip 10mm |
42 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
42 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
43 \hyphenation{Isabelle} |
43 \hyphenation{Isabelle} |
|
44 \renewcommand{\isasymiota}{} |
44 |
45 |
45 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
46 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
46 % to work around a problem with \isanewline |
47 % to work around a problem with \isanewline |
47 \renewcommand{\isanewline}{{\parindent0pt\parskip0pt\mbox{}\par\mbox{}}} |
48 \renewcommand{\isanewline}{{\parindent0pt\parskip0pt\mbox{}\par\mbox{}}} |
48 |
49 |