# HG changeset patch
# User wenzelm
# Date 1010321246 -3600
# Node ID fa2e8a8faaec3fccf204ea7c8f4be12569808280
# Parent  3af5de958a1a3565e85f17bafbc4d3351e91cb7e
tuned;

diff -r 3af5de958a1a -r fa2e8a8faaec doc-src/TutorialI/preface.tex
--- a/doc-src/TutorialI/preface.tex	Sat Jan 05 21:42:01 2002 +0100
+++ b/doc-src/TutorialI/preface.tex	Sun Jan 06 13:47:26 2002 +0100
@@ -44,10 +44,9 @@
 The typesetting relies on Wenzel's theory presentation tools.  An
 annotated source file is run, typesetting the theory
 % and any requested Isabelle responses
-in the form of a \LaTeX\ source file.  This book is
-derived almost entirely from output generated in this way.
-The end of Part~I explains how users may produce their own formal documents in
-the same manner.
+in the form of a \LaTeX\ source file.  This book is derived almost entirely
+from output generated in this way.  The final chapter of Part~I explains how
+users may produce their own formal documents in a similar fashion.
 
 Isabelle's \hfootref{http://isabelle.in.tum.de/}{web site} contains links to
 the download area and to documentation and other information.  Most Isabelle