# HG changeset patch
# User wenzelm
# Date 941214668 -7200
# Node ID 3ee8ddca092d3ad0d2714f2893a7a793b4b5723c
# Parent  34245feb6e82ff4533457fafbdc88c9547d950e4
comment out isabellesym.sty;

diff -r 34245feb6e82 -r 3ee8ddca092d doc-src/System/present.tex
--- 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.