| changeset 29104 | a5ac0bc68e2b |
| parent 29016 | 31110b40eae7 |
| 29103:e2fdd4ce541b | 29104:a5ac0bc68e2b |
|---|---|
28 %% presentation |
28 %% presentation |
29 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} |
29 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} |
30 |
30 |
31 \pagestyle{headings} |
31 \pagestyle{headings} |
32 \binperiod |
32 \binperiod |
33 \underscoreon |
33 \underscoreoff |
34 |
34 |
35 \renewcommand{\isadigit}[1]{\isamath{#1}} |
35 \renewcommand{\isadigit}[1]{\isamath{#1}} |
36 |
36 |
37 \isabellestyle{it} |
37 \isabellestyle{it} |
38 |
38 |