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