isabellesym.sty;
authorwenzelm
Sat Oct 30 20:12:23 1999 +0200 (1999-10-30)
changeset 7980fce25292e1b8
parent 7979 bd9b0151c932
child 7981 5120a2a15d06
isabellesym.sty;
doc-src/System/present.tex
     1.1 --- a/doc-src/System/present.tex	Sat Oct 30 20:11:35 1999 +0200
     1.2 +++ b/doc-src/System/present.tex	Sat Oct 30 20:12:23 1999 +0200
     1.3 @@ -283,15 +283,14 @@
     1.4  \verb,\usepackage{isabelle}, somewhere in \texttt{root.tex} should work fine;
     1.5  the underlying Isabelle \texttt{latex} utility already includes an appropriate
     1.6  {\TeX} inputs path.
     1.7 -%
     1.8 -%FIXME not yet
     1.9 -%If the text contains any references to Isabelle symbols (such as
    1.10 -%\verb,\<forall>,) then \texttt{isabellesym.sty} should be included as well.
    1.11 -%This package contains a standard set of {\LaTeX} macro definitions
    1.12 -%\verb,\isasym,$foo$ corresponding to \verb,\<,$foo$\verb,>,.  The user may
    1.13 -%refer to further symbols as well, simply by providing {\LaTeX} macros of the
    1.14 -%same sort.
    1.15 -%
    1.16 +
    1.17 +If the text contains any references to Isabelle symbols (such as
    1.18 +\verb,\<forall>,) then \texttt{isabellesym.sty} should be included as well.
    1.19 +This package contains a standard set of {\LaTeX} macro definitions
    1.20 +\verb,\isasym,$foo$ corresponding to \verb,\<,$foo$\verb,>,.  The user may
    1.21 +refer to further symbols as well, simply by providing {\LaTeX} macros of the
    1.22 +same sort.
    1.23 +
    1.24  For proper setup of PDF documents (with hyperlinks, bookmarks, and thumbnail
    1.25  images), we recommend to include \verb,pdfsetup.sty, as well.  It is safe to
    1.26  do so even without using PDF~\LaTeX.