
diff -r 57094b83774e -r ac993c5998e2 src/HOLCF/document/root.tex
--- 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




