equal
deleted
inserted
replaced
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} |