src/HOL/Multivariate_Analysis/document/root.tex

--- a/src/HOL/Multivariate_Analysis/document/root.tex	Sun Aug 21 14:16:44 2011 +0200
+++ b/src/HOL/Multivariate_Analysis/document/root.tex	Sun Aug 21 09:38:31 2011 -0700
@@ -18,9 +18,11 @@
 \tableofcontents
 
 \begin{center}
-  \includegraphics[scale=0.45]{session_graph}
+  \includegraphics[width=\linewidth]{session_graph}
 \end{center}
 
+\newpage
+
 \renewcommand{\isamarkupheader}[1]%
 {\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}}