--- 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
--- 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
--- 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}
--- 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
--- 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
--- 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
--- 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