| changeset 7800 | 8ee919e42174 |
| parent 7761 | 7fab9592384f |
| child 7817 | 76cffd7dff2e |
| 7799:4c69318e6a6d | 7800:8ee919e42174 |
|---|---|
1 |
1 |
2 %% $Id$ |
2 %% $Id$ |
3 |
3 |
4 \documentclass[11pt,a4paper]{article} |
4 \documentclass[11pt,a4paper]{article} |
5 \usepackage{isabelle,pdfsetup} |
5 \usepackage{comment,isabelle,pdfsetup} |
6 |
6 |
7 \renewcommand{\isamarkupheader}[1]{\section{#1}} |
7 \renewcommand{\isamarkupheader}[1]{\section{#1}} |
8 \parindent 0pt \parskip 0.5ex |
8 \parindent 0pt \parskip 0.5ex |
9 |
9 |
10 \newcommand{\name}[1]{\textsf{#1}} |
10 \newcommand{\name}[1]{\textsf{#1}} |