# 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