# HG changeset patch
# User wenzelm
# Date 1008960979 -3600
# Node ID 2fcf06f05afa69cfde2ed1297bc5389a4ed281b1
# Parent  b85acd66f715b665d5475ad927841ecf6352d723
isatool browser -o;

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