| changeset 11862 | 03801fd2f8fc |
| parent 11102 | 5ceaa79c220d |
| child 13381 | 60bc63b13857 |
| 11861:38d8075ebff6 | 11862:03801fd2f8fc |
|---|---|
4 |
4 |
5 %for best-style documents ... |
5 %for best-style documents ... |
6 \urlstyle{rm} |
6 \urlstyle{rm} |
7 \isabellestyle{it} |
7 \isabellestyle{it} |
8 |
8 |
9 \renewcommand{\isabeginpar}{\par\smallskip} |
|
10 \renewcommand{\isamarkupcmt}[1]{{\isastylecmt---~~#1}} |
9 \renewcommand{\isamarkupcmt}[1]{{\isastylecmt---~~#1}} |
11 |
10 |
12 \newcommand{\secref}[1]{\S\ref{#1}} |
11 \newcommand{\secref}[1]{\S\ref{#1}} |
13 |
12 |
14 |
13 |