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