
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}




