tuned document;
authorwenzelm
Sun Jul 28 21:09:37 2002 +0200 (2002-07-28)
changeset 13427b429fd98549c
parent 13426 e0e2351043d2
child 13428 99e52e78eb65
tuned document;
src/ZF/Constructible/document/root.tex
src/ZF/IsaMakefile
     1.1 --- a/src/ZF/Constructible/document/root.tex	Sat Jul 27 21:55:14 2002 +0200
     1.2 +++ b/src/ZF/Constructible/document/root.tex	Sun Jul 28 21:09:37 2002 +0200
     1.3 @@ -1,23 +1,8 @@
     1.4  
     1.5  \documentclass[11pt,a4paper]{article}
     1.6 +\usepackage{graphicx}
     1.7  \usepackage{isabelle,isabellesym}
     1.8 -
     1.9 -% further packages required for unusual symbols (see also isabellesym.sty)
    1.10 -%\usepackage{latexsym}
    1.11 -%\usepackage{amssymb}
    1.12 -%\usepackage[english]{babel}
    1.13 -%\usepackage[latin1]{inputenc}
    1.14 -%\usepackage[only,bigsqcap]{stmaryrd}
    1.15 -%\usepackage{wasysym}
    1.16 -%\usepackage{eufrak}
    1.17 -%\usepackage{textcomp}
    1.18 -%\usepackage{marvosym}
    1.19 -
    1.20 -% this should be the last package used
    1.21 -\usepackage{pdfsetup}
    1.22 -
    1.23 -\urlstyle{rm}
    1.24 -\isabellestyle{tt} %and not {it}!
    1.25 +\usepackage{pdfsetup}\urlstyle{rm}
    1.26  
    1.27  
    1.28  \begin{document}
    1.29 @@ -28,9 +13,14 @@
    1.30  
    1.31  \tableofcontents
    1.32  
    1.33 +\begin{center}
    1.34 +  \includegraphics[scale=0.7]{session_graph}
    1.35 +\end{center}
    1.36 +
    1.37 +\newpage
    1.38 +
    1.39  \parindent 0pt\parskip 0.5ex
    1.40  
    1.41 -% include generated text of all theories
    1.42  \input{session}
    1.43  
    1.44  %\bibliographystyle{abbrv}
     2.1 --- a/src/ZF/IsaMakefile	Sat Jul 27 21:55:14 2002 +0200
     2.2 +++ b/src/ZF/IsaMakefile	Sun Jul 28 21:09:37 2002 +0200
     2.3 @@ -86,7 +86,7 @@
     2.4    Constructible/WF_absolute.thy \
     2.5    Constructible/Reflection.thy  Constructible/WFrec.thy \
     2.6    Constructible/document/root.tex
     2.7 -	@$(ISATOOL) usedir $(OUT)/ZF Constructible
     2.8 +	@$(ISATOOL) usedir -g true $(OUT)/ZF Constructible
     2.9  
    2.10  
    2.11  ## ZF-IMP