# HG changeset patch
# User wenzelm
# Date 941307143 -7200
# Node ID fce25292e1b85839a65bbd31ef6b5648553b66df
# Parent  bd9b0151c932fd3731f0fbdbc89931c8baf40f62
isabellesym.sty;

diff -r bd9b0151c932 -r fce25292e1b8 doc-src/System/present.tex
--- 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.