--- a/doc-src/System/present.tex Fri Oct 29 16:48:55 1999 +0200
+++ b/doc-src/System/present.tex Fri Oct 29 18:31:08 1999 +0200
@@ -283,14 +283,15 @@
\verb,\usepackage{isabelle}, somewhere in \texttt{root.tex} should work fine;
the underlying Isabelle \texttt{latex} utility already includes an appropriate
{\TeX} inputs path.
-
-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.
-
+%
+%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.
+%
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.