added session_graph;
authorwenzelm
Wed Mar 06 17:55:10 2002 +0100 (2002-03-06)
changeset 13033d6a09050a40d
parent 13032 1ec445c51931
child 13034 d7bb6e4f5f82
added session_graph;
src/HOL/HoareParallel/document/root.tex
     1.1 --- a/src/HOL/HoareParallel/document/root.tex	Wed Mar 06 17:54:43 2002 +0100
     1.2 +++ b/src/HOL/HoareParallel/document/root.tex	Wed Mar 06 17:55:10 2002 +0100
     1.3 @@ -1,9 +1,12 @@
     1.4 +
     1.5 +% $Id$
     1.6  
     1.7  \documentclass[11pt,a4paper]{book}
     1.8 -\usepackage{isabelle,isabellesym,pdfsetup}
     1.9 +\usepackage{graphicx}
    1.10  \usepackage[english]{babel}
    1.11 +\usepackage{isabelle,isabellesym}
    1.12 +\usepackage{pdfsetup}
    1.13  
    1.14 -%for best-style documents ...
    1.15  \urlstyle{rm}
    1.16  \isabellestyle{it}
    1.17  
    1.18 @@ -19,6 +22,12 @@
    1.19  \thispagestyle{empty}
    1.20  \tableofcontents
    1.21  
    1.22 +\begin{center}
    1.23 +  \includegraphics[scale=0.7]{session_graph}  
    1.24 +\end{center}
    1.25 +
    1.26 +\newpage
    1.27 +
    1.28  \parindent 0pt\parskip 0.5ex
    1.29  \input{session}
    1.30