equal
deleted
inserted
replaced
24 % |
24 % |
25 \endisadelimML |
25 \endisadelimML |
26 % |
26 % |
27 \isatagML |
27 \isatagML |
28 \isacommand{ML}\isamarkupfalse% |
28 \isacommand{ML}\isamarkupfalse% |
29 \ {\isachardoublequoteopen}Pretty{\isachardot}setmargin\ {\isadigit{6}}{\isadigit{4}}{\isachardoublequoteclose}\isanewline |
29 \ {\isachardoublequoteopen}Pretty{\isachardot}margin{\isacharunderscore}default\ {\isacharcolon}{\isacharequal}\ {\isadigit{6}}{\isadigit{4}}{\isachardoublequoteclose}\isanewline |
30 \isacommand{ML}\isamarkupfalse% |
30 \isacommand{ML}\isamarkupfalse% |
31 \ {\isachardoublequoteopen}ThyOutput{\isachardot}indent\ {\isacharcolon}{\isacharequal}\ {\isadigit{0}}{\isachardoublequoteclose}% |
31 \ {\isachardoublequoteopen}ThyOutput{\isachardot}indent\ {\isacharcolon}{\isacharequal}\ {\isadigit{0}}{\isachardoublequoteclose}% |
32 \endisatagML |
32 \endisatagML |
33 {\isafoldML}% |
33 {\isafoldML}% |
34 % |
34 % |