scale dependency graph to fit on page
authorhuffman
Sun Aug 21 09:38:31 2011 -0700 (2011-08-21)
changeset 4435900af710d857e
parent 44353 02f286491568
child 44360 ea609ebdeebf
scale dependency graph to fit on page
src/HOL/Multivariate_Analysis/document/root.tex
     1.1 --- a/src/HOL/Multivariate_Analysis/document/root.tex	Sun Aug 21 14:16:44 2011 +0200
     1.2 +++ b/src/HOL/Multivariate_Analysis/document/root.tex	Sun Aug 21 09:38:31 2011 -0700
     1.3 @@ -18,9 +18,11 @@
     1.4  \tableofcontents
     1.5  
     1.6  \begin{center}
     1.7 -  \includegraphics[scale=0.45]{session_graph}
     1.8 +  \includegraphics[width=\linewidth]{session_graph}
     1.9  \end{center}
    1.10  
    1.11 +\newpage
    1.12 +
    1.13  \renewcommand{\isamarkupheader}[1]%
    1.14  {\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}}
    1.15