# HG changeset patch
# User huffman
# Date 1229447409 28800
# Node ID 9925cf74b23b49765955dead03133e2c73fdfe10
# Parent  95a239a5e0558ef6a17cc596dfeb32b60484d8d8
scale dependency graph in document

diff -r 95a239a5e055 -r 9925cf74b23b src/HOLCF/document/root.tex
--- a/src/HOLCF/document/root.tex	Fri Dec 12 12:14:02 2008 +0100
+++ b/src/HOLCF/document/root.tex	Tue Dec 16 09:10:09 2008 -0800
@@ -1,5 +1,5 @@
 
-% $Id$
+% HOLCF/document/root.tex
 
 \documentclass[11pt,a4paper]{article}
 \usepackage{graphicx,isabelle,isabellesym,latexsym}
@@ -21,7 +21,7 @@
 \tableofcontents
 
 \begin{center}
-  \includegraphics[scale=0.7]{session_graph}
+  \includegraphics[scale=0.5]{session_graph}
 \end{center}
 
 \newpage