author | kleing |
Thu, 31 Aug 2000 14:11:04 +0200 | |
changeset 9764 | fa4f45fa4666 |
parent 9755 | 6fefedeb3428 |
child 9820 | 2aa2871d0dec |
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} \renewcommand{\thesubsection}{\arabic{subsection}} \renewcommand{\isamarkupheader}[1]{\newpage\subsection{#1}} \pagestyle{headings} \begin{document} \tableofcontents \newpage \input{session} \end{document}