--- a/doc-src/System/present.tex Sat Oct 30 20:11:35 1999 +0200
+++ b/doc-src/System/present.tex Sat Oct 30 20:12:23 1999 +0200
@@ -283,15 +283,14 @@
\verb,\usepackage{isabelle}, somewhere in \texttt{root.tex} should work fine;
the underlying Isabelle \texttt{latex} utility already includes an appropriate
{\TeX} inputs path.
-%
-%FIXME not yet
-%If the text contains any references to Isabelle symbols (such as
-%\verb,\<forall>,) then \texttt{isabellesym.sty} should be included as well.
-%This package contains a standard set of {\LaTeX} macro definitions
-%\verb,\isasym,$foo$ corresponding to \verb,\<,$foo$\verb,>,. The user may
-%refer to further symbols as well, simply by providing {\LaTeX} macros of the
-%same sort.
-%
+
+If the text contains any references to Isabelle symbols (such as
+\verb,\<forall>,) then \texttt{isabellesym.sty} should be included as well.
+This package contains a standard set of {\LaTeX} macro definitions
+\verb,\isasym,$foo$ corresponding to \verb,\<,$foo$\verb,>,. The user may
+refer to further symbols as well, simply by providing {\LaTeX} macros of the
+same sort.
+
For proper setup of PDF documents (with hyperlinks, bookmarks, and thumbnail
images), we recommend to include \verb,pdfsetup.sty, as well. It is safe to
do so even without using PDF~\LaTeX.