author | kleing |
Wed, 30 Aug 2000 21:40:35 +0200 | |
changeset 9755 | 6fefedeb3428 |
parent 8193 | 33e4ec7a2daa |
child 9764 | fa4f45fa4666 |
permissions | -rw-r--r-- |
8193 | 1 |
|
2 |
\documentclass[11pt,a4paper]{article} |
|
3 |
\usepackage{isabelle,isabellesym,pdfsetup} |
|
4 |
||
9755 | 5 |
\setlength{\parindent}{0cm} |
6 |
\setlength{\parskip}{0,5ex} |
|
7 |
||
8 |
\addtolength{\hoffset}{-1,5cm} |
|
9 |
\addtolength{\textwidth}{4cm} |
|
10 |
\addtolength{\voffset}{-2cm} |
|
11 |
\addtolength{\textheight}{4cm} |
|
12 |
||
13 |
\pagestyle{headings} |
|
14 |
||
8193 | 15 |
\begin{document} |
9755 | 16 |
|
17 |
\tableofcontents |
|
18 |
\newpage |
|
8193 | 19 |
\input{session} |
20 |
\end{document} |
|
21 |