include session graph;
authorwenzelm
Thu Dec 06 17:15:53 2001 +0100 (2001-12-06)
changeset 12410ef373ec6ade8
parent 12409 25bf458af885
child 12411 8a8ea71c79d3
include session graph;
src/HOL/IsaMakefile
src/HOL/document/root.tex
     1.1 --- a/src/HOL/IsaMakefile	Thu Dec 06 16:05:06 2001 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Thu Dec 06 17:15:53 2001 +0100
     1.3 @@ -106,7 +106,7 @@
     1.4    Wellfounded_Relations.thy arith_data.ML blastdata.ML cladata.ML \
     1.5    document/root.tex equalities.ML hologic.ML meson_lemmas.ML mono.ML \
     1.6    simpdata.ML subset.ML thy_syntax.ML
     1.7 -	@$(ISATOOL) usedir -b $(OUT)/Pure HOL
     1.8 +	@$(ISATOOL) usedir -b -g true $(OUT)/Pure HOL
     1.9  
    1.10  
    1.11  ## HOL-Real
     2.1 --- a/src/HOL/document/root.tex	Thu Dec 06 16:05:06 2001 +0100
     2.2 +++ b/src/HOL/document/root.tex	Thu Dec 06 17:15:53 2001 +0100
     2.3 @@ -2,7 +2,7 @@
     2.4  % $Id$
     2.5  
     2.6  \documentclass[11pt,a4paper]{article}
     2.7 -\usepackage{isabelle,isabellesym,latexsym}
     2.8 +\usepackage{graphicx,isabelle,isabellesym,latexsym}
     2.9  \usepackage{pdfsetup}
    2.10  
    2.11  \urlstyle{rm}
    2.12 @@ -15,6 +15,12 @@
    2.13  
    2.14  \tableofcontents
    2.15  
    2.16 +\begin{center}
    2.17 +  \includegraphics[scale=0.3]{session_graph}
    2.18 +\end{center}
    2.19 +
    2.20 +\newpage
    2.21 +
    2.22  \parindent 0pt\parskip 0.5ex
    2.23  \input{session}
    2.24