src/HOL/MicroJava/document/root.tex
changeset 9820 2aa2871d0dec
parent 9764 fa4f45fa4666
child 9919 3cf12ab0b8ac
equal deleted inserted replaced
9819:e9fb6d44a490 9820:2aa2871d0dec
     1 
     1 
     2 \documentclass[11pt,a4paper]{article}
     2 \documentclass[11pt,a4paper]{article}
     3 \usepackage{isabelle,isabellesym,pdfsetup}
     3 \usepackage{isabelle,isabellesym,pdfsetup}
     4 
       
     5 \setlength{\parindent}{0cm}
       
     6 \setlength{\parskip}{0,5ex}
       
     7 
     4 
     8 \addtolength{\hoffset}{-1,5cm}
     5 \addtolength{\hoffset}{-1,5cm}
     9 \addtolength{\textwidth}{4cm}
     6 \addtolength{\textwidth}{4cm}
    10 \addtolength{\voffset}{-2cm}
     7 \addtolength{\voffset}{-2cm}
    11 \addtolength{\textheight}{4cm}
     8 \addtolength{\textheight}{4cm}
    12 
     9 
    13 \renewcommand{\thesubsection}{\arabic{subsection}}
    10 \renewcommand{\thesection}{\arabic{section}}
    14 \renewcommand{\isamarkupheader}[1]{\newpage\subsection{#1}}
    11 \renewcommand{\isamarkupheader}[1]{\newpage\section{#1}}
    15 
    12 
    16 \pagestyle{headings}
    13 \pagestyle{headings}
    17 
    14 
       
    15 
    18 \begin{document}
    16 \begin{document}
       
    17 
    19 \tableofcontents
    18 \tableofcontents
       
    19 \parindent 0pt \parskip 0.5ex
    20 \newpage
    20 \newpage
       
    21 
    21 \input{session}
    22 \input{session}
       
    23 
    22 \end{document}
    24 \end{document}