# HG changeset patch
# User huffman
# Date 1117842514 -7200
# Node ID ac993c5998e275b133b1b030d8cd476a63959735
# Parent  57094b83774e146802a1fe2b0f329efe1d3ca779
shrink session graph so it fits on a page

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