# HG changeset patch
# User wenzelm
# Date 1027883377 -7200
# Node ID b429fd98549ccb6fe57f19e631a19ec1959445f9
# Parent  e0e2351043d239d61c4047d8171711a102a5aa53
tuned document;

diff -r e0e2351043d2 -r b429fd98549c src/ZF/Constructible/document/root.tex
--- a/src/ZF/Constructible/document/root.tex	Sat Jul 27 21:55:14 2002 +0200
+++ b/src/ZF/Constructible/document/root.tex	Sun Jul 28 21:09:37 2002 +0200
@@ -1,23 +1,8 @@
 
 \documentclass[11pt,a4paper]{article}
+\usepackage{graphicx}
 \usepackage{isabelle,isabellesym}
-
-% further packages required for unusual symbols (see also isabellesym.sty)
-%\usepackage{latexsym}
-%\usepackage{amssymb}
-%\usepackage[english]{babel}
-%\usepackage[latin1]{inputenc}
-%\usepackage[only,bigsqcap]{stmaryrd}
-%\usepackage{wasysym}
-%\usepackage{eufrak}
-%\usepackage{textcomp}
-%\usepackage{marvosym}
-
-% this should be the last package used
-\usepackage{pdfsetup}
-
-\urlstyle{rm}
-\isabellestyle{tt} %and not {it}!
+\usepackage{pdfsetup}\urlstyle{rm}
 
 
 \begin{document}
@@ -28,9 +13,14 @@
 
 \tableofcontents
 
+\begin{center}
+  \includegraphics[scale=0.7]{session_graph}
+\end{center}
+
+\newpage
+
 \parindent 0pt\parskip 0.5ex
 
-% include generated text of all theories
 \input{session}
 
 %\bibliographystyle{abbrv}
diff -r e0e2351043d2 -r b429fd98549c src/ZF/IsaMakefile
--- a/src/ZF/IsaMakefile	Sat Jul 27 21:55:14 2002 +0200
+++ b/src/ZF/IsaMakefile	Sun Jul 28 21:09:37 2002 +0200
@@ -86,7 +86,7 @@
   Constructible/WF_absolute.thy \
   Constructible/Reflection.thy  Constructible/WFrec.thy \
   Constructible/document/root.tex
-	@$(ISATOOL) usedir $(OUT)/ZF Constructible
+	@$(ISATOOL) usedir -g true $(OUT)/ZF Constructible
 
 
 ## ZF-IMP