| changeset 10023 | 1b8b8ddedea7 |
| parent 9987 | ed35be80285d |
| child 10044 | 07218d743c62 |
| 10022:ee8ee61acd8c | 10023:1b8b8ddedea7 |
|---|---|
1 |
1 |
2 \documentclass[11pt,a4paper]{article} |
2 \documentclass[11pt,a4paper]{article} |
3 \usepackage{latexsym,isabelle,isabellesym,pdfsetup} |
3 \usepackage{latexsym,isabelle,isabellesym,pdfsetup} |
4 |
4 |
5 \urlstyle{rm} |
|
5 \pagestyle{myheadings} |
6 \pagestyle{myheadings} |
6 |
7 |
7 \addtolength{\hoffset}{-1,5cm} |
8 \addtolength{\hoffset}{-1,5cm} |
8 \addtolength{\textwidth}{4cm} |
9 \addtolength{\textwidth}{4cm} |
9 \addtolength{\voffset}{-2cm} |
10 \addtolength{\voffset}{-2cm} |