--- a/src/HOLCF/document/root.tex Sat Jun 04 00:24:33 2005 +0200
+++ b/src/HOLCF/document/root.tex Sat Jun 04 01:48:34 2005 +0200
@@ -19,7 +19,7 @@
\tableofcontents
\begin{center}
- \includegraphics[scale=0.8]{session_graph}
+ \includegraphics[scale=0.7]{session_graph}
\end{center}
\newpage