src/HOL/Complex/document/root.tex

--- a/src/HOL/Complex/document/root.tex	Sun Aug 28 16:04:42 2005 +0200
+++ b/src/HOL/Complex/document/root.tex	Sun Aug 28 16:04:43 2005 +0200
@@ -18,7 +18,7 @@
 \tableofcontents
 
 \begin{center}
-  \includegraphics[scale=0.3]{session_graph}
+  \includegraphics[width=\textwidth,height=\textheight,keepaspectratio]{session_graph}
 \end{center}
 
 \newpage