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