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}