# HG changeset patch
# User wenzelm
# Date 1125237883 -7200
# Node ID d5060118122e5d6479fe0466a100a1c22f84a766
# Parent  d68bf267cbba90c69ee40a9f0d203d8454e13ff6
tuned size of included graph;

diff -r d68bf267cbba -r d5060118122e src/HOL/Auth/document/root.tex
--- a/src/HOL/Auth/document/root.tex	Sun Aug 28 16:04:42 2005 +0200
+++ b/src/HOL/Auth/document/root.tex	Sun Aug 28 16:04:43 2005 +0200
@@ -17,7 +17,7 @@
 \tableofcontents
 
 \begin{center}
-  \includegraphics[scale=0.5]{session_graph}  
+  \includegraphics[width=\textwidth,height=\textheight,keepaspectratio]{session_graph}
 \end{center}
 
 \newpage
diff -r d68bf267cbba -r d5060118122e 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
diff -r d68bf267cbba -r d5060118122e src/HOL/MicroJava/document/root.tex
--- a/src/HOL/MicroJava/document/root.tex	Sun Aug 28 16:04:42 2005 +0200
+++ b/src/HOL/MicroJava/document/root.tex	Sun Aug 28 16:04:43 2005 +0200
@@ -1,3 +1,5 @@
+% $Id$
+
 %\documentclass[11pt,a4paper]{article}
 \documentclass[11pt,a4paper]{book}
 \usepackage{graphicx,latexsym,isabelle,isabellesym,pdfsetup}
@@ -28,9 +30,7 @@
 
 \begin{document}
 
-\title{Java Source and Bytecode Formalizations in Isabelle: \mJava\\
-%  {\large -- VerifiCard Project Deliverables -- }
-}
+\title{Java Source and Bytecode Formalizations in Isabelle: \mJava}
 \author{Gerwin Klein \and Tobias Nipkow \and David von Oheimb \and
   \and Cornelia Pusch \and Martin Strecker}
 \maketitle
@@ -48,7 +48,7 @@
 
 \begin{figure}[h!t]
 \begin{center}
-  \includegraphics[scale=0.4]{session_graph}
+  \includegraphics[width=\textwidth,height=0.95\textheight,keepaspectratio]{session_graph}
 \end{center}
 \caption{Theory Dependency Graph\label{theory-deps}}
 \end{figure}
diff -r d68bf267cbba -r d5060118122e src/HOL/NumberTheory/document/root.tex
--- a/src/HOL/NumberTheory/document/root.tex	Sun Aug 28 16:04:42 2005 +0200
+++ b/src/HOL/NumberTheory/document/root.tex	Sun Aug 28 16:04:43 2005 +0200
@@ -45,7 +45,7 @@
 \tableofcontents
 
 \begin{center}
-  \includegraphics[scale=0.7]{session_graph}  
+  \includegraphics[scale=0.5]{session_graph}  
 \end{center}
 
 \newpage
diff -r d68bf267cbba -r d5060118122e src/HOL/UNITY/document/root.tex
--- a/src/HOL/UNITY/document/root.tex	Sun Aug 28 16:04:42 2005 +0200
+++ b/src/HOL/UNITY/document/root.tex	Sun Aug 28 16:04:43 2005 +0200
@@ -16,7 +16,7 @@
 \tableofcontents
 
 \begin{center}
-  \includegraphics[scale=0.5]{session_graph}  
+  \includegraphics[width=\textwidth,height=\textheight,keepaspectratio]{session_graph}
 \end{center}
 
 \newpage
diff -r d68bf267cbba -r d5060118122e src/HOL/document/root.tex
--- a/src/HOL/document/root.tex	Sun Aug 28 16:04:42 2005 +0200
+++ b/src/HOL/document/root.tex	Sun Aug 28 16:04:43 2005 +0200
@@ -20,7 +20,7 @@
 \tableofcontents
 
 \begin{center}
-  \includegraphics[scale=0.3]{session_graph}
+  \includegraphics[width=\textwidth,height=\textheight,keepaspectratio]{session_graph}
 \end{center}
 
 \newpage
diff -r d68bf267cbba -r d5060118122e src/ZF/AC/document/root.tex
--- a/src/ZF/AC/document/root.tex	Sun Aug 28 16:04:42 2005 +0200
+++ b/src/ZF/AC/document/root.tex	Sun Aug 28 16:04:43 2005 +0200
@@ -26,7 +26,7 @@
 \tableofcontents
 
 \begin{center}
-  \includegraphics[scale=0.7]{session_graph}
+  \includegraphics[width=\textwidth]{session_graph}
 \end{center}
 
 \newpage