| changeset 2234 | 8035515bbbc6 |
| parent 2227 | 42d576c54704 |
| child 2237 | d1ab5d2d6926 |
| 2233:22c6b6144abd | 2234:8035515bbbc6 |
|---|---|
7 \usepackage{amssymb} |
7 \usepackage{amssymb} |
8 \usepackage{pdfsetup} |
8 \usepackage{pdfsetup} |
9 \usepackage{tikz} |
9 \usepackage{tikz} |
10 \usepackage{pgf} |
10 \usepackage{pgf} |
11 \usepackage{verbdef} |
11 \usepackage{verbdef} |
12 \usepackage{longtable} |
|
12 |
13 |
13 \urlstyle{rm} |
14 \urlstyle{rm} |
14 \isabellestyle{it} |
15 \isabellestyle{it} |
15 \renewcommand{\isastyle}{\isastyleminor} |
16 \renewcommand{\isastyle}{\isastyleminor} |
16 |
17 |