# HG changeset patch
# User huffman
# Date 1313944711 25200
# Node ID 00af710d857e29ca905aec8d8216b282004081d5
# Parent  02f286491568f8f09c45a924678b4617f8dfa821
scale dependency graph to fit on page

diff -r 02f286491568 -r 00af710d857e 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''}}