isatool browser -o;
Fri, 21 Dec 2001 19:56:19 +0100
changeset 12583 2fcf06f05afa
parent 12582 b85acd66f715
child 12584 cf5a342ce698
isatool browser -o;
--- 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)
 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
 \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''.