--- a/doc-src/System/system.tex Mon Jul 20 19:06:14 1998 +0200
+++ b/doc-src/System/system.tex Mon Jul 20 19:06:39 1998 +0200
@@ -2,10 +2,10 @@
%% $Id$
\documentclass[12pt]{report}
-\usepackage{a4,graphicx,../iman,../extra}
+\usepackage{graphicx,a4,../iman,../extra,../pdfsetup}
-\title{The Isabelle System Manual}
+\title{\includegraphics[scale=0.5]{../isabelle.ps} \\[4ex] The Isabelle System Manual}
\author{{\em Markus Wenzel}\/\thanks{Section~\protect\ref{sec:info} was
written by Carsten Clasohm. Section~\protect\ref{sec:browse} was