# HG changeset patch # User wenzelm # Date 968004185 -7200 # Node ID 2aa2871d0decedd4cf693526d0da342bd8a1ad3e # Parent e9fb6d44a4901d04cd38417f68f5a88503483c47 improved section markup; diff -r e9fb6d44a490 -r 2aa2871d0dec src/HOL/MicroJava/document/root.tex --- a/src/HOL/MicroJava/document/root.tex Sun Sep 03 20:01:47 2000 +0200 +++ b/src/HOL/MicroJava/document/root.tex Sun Sep 03 20:03:05 2000 +0200 @@ -2,21 +2,23 @@ \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}} +\renewcommand{\thesection}{\arabic{section}} +\renewcommand{\isamarkupheader}[1]{\newpage\section{#1}} \pagestyle{headings} + \begin{document} + \tableofcontents +\parindent 0pt \parskip 0.5ex \newpage + \input{session} + \end{document}