equal
deleted
inserted
replaced
41 \abovecaptionskip 1mm |
41 \abovecaptionskip 1mm |
42 \belowcaptionskip 10mm |
42 \belowcaptionskip 10mm |
43 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
43 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
44 \hyphenation{Isabelle} |
44 \hyphenation{Isabelle} |
45 \renewcommand{\isasymiota}{} |
45 \renewcommand{\isasymiota}{} |
|
46 \renewcommand{\isamarkupsubsection}[1]{\subsection*{#1}} |
46 |
47 |
47 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
48 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
48 % to work around a problem with \isanewline |
49 % to work around a problem with \isanewline |
49 \renewcommand{\isanewline}{{\parindent0pt\parskip0pt\mbox{}\par\mbox{}}} |
50 \renewcommand{\isanewline}{{\parindent0pt\parskip0pt\mbox{}\par\mbox{}}} |
50 |
51 |