equal
deleted
inserted
replaced
1 |
1 |
2 \documentclass[11pt,a4paper]{article} |
2 \documentclass[11pt,a4paper]{article} |
3 \usepackage{latexsym,isabelle,isabellesym,pdfsetup} |
3 \usepackage{graphicx,latexsym,isabelle,isabellesym,pdfsetup} |
4 |
4 |
5 \urlstyle{rm} |
5 \urlstyle{rm} |
6 \pagestyle{myheadings} |
6 \pagestyle{myheadings} |
7 |
7 |
8 \addtolength{\hoffset}{-1,5cm} |
8 \addtolength{\hoffset}{-1,5cm} |
44 \end{abstract} |
44 \end{abstract} |
45 |
45 |
46 \tableofcontents |
46 \tableofcontents |
47 \parindent 0pt \parskip 0.5ex |
47 \parindent 0pt \parskip 0.5ex |
48 |
48 |
|
49 \begin{center} |
|
50 \includegraphics[scale=0.4]{session_graph} |
|
51 \end{center} |
|
52 |
49 \newpage |
53 \newpage |
50 \input{session} |
54 \input{session} |
51 |
55 |
52 \newpage |
56 \newpage |
53 \nocite{*} |
57 \nocite{*} |