1.1 --- a/doc-src/System/present.tex	Fri Dec 21 19:55:39 2001 +0100
     1.2 +++ b/doc-src/System/present.tex	Fri Dec 21 19:56:19 2001 +0100
     1.3 @@ -148,10 +148,19 @@
     1.4  
     1.5    Options are:
     1.6      -d           delete file after use
     1.7 +    -o FILE      output to FILE (ps, eps, pdf)
     1.8  \end{ttbox}
     1.9  When no filename is specified, the browser automatically changes to the
    1.10  directory \texttt{ISABELLE_BROWSER_INFO}.
    1.11  
    1.12 +\medskip The \texttt{-d} option cases the source file (!)\ to be deleted after
    1.13 +the browser terminates; this is mainly intended for detaching interactive
    1.14 +graph views from a running Isabelle session.
    1.15 +
    1.16 +The \texttt{-o} option indicates batch-mode operation, with the output written
    1.17 +to the indicated file; note that \texttt{pdf} produces an \texttt{eps} copy as
    1.18 +well.
    1.19 +
    1.20  \medskip The applet version of the browser can be invoked by opening the {\tt
    1.21    index.html} file in the directory \texttt{ISABELLE_BROWSER_INFO} from your
    1.22  Web browser and selecting the version ``including theory graph browser''.