| changeset 9980 | 5eec17e4e95e |
| parent 9919 | 3cf12ab0b8ac |
| child 9985 | f96d8e02ff1d |
| 9979:fd5053c8a7ac | 9980:5eec17e4e95e |
|---|---|
1 |
1 |
2 \documentclass[11pt,a4paper]{article} |
2 \documentclass[11pt,a4paper]{article} |
3 \usepackage{isabelle,isabellesym,pdfsetup} |
3 \usepackage{latexsym,isabelle,isabellesym,pdfsetup} |
4 |
4 |
5 \pagestyle{myheadings} |
5 \pagestyle{myheadings} |
6 |
6 |
7 \addtolength{\hoffset}{-1,5cm} |
7 \addtolength{\hoffset}{-1,5cm} |
8 \addtolength{\textwidth}{4cm} |
8 \addtolength{\textwidth}{4cm} |