# HG changeset patch
# User wenzelm
# Date 1158599563 -7200
# Node ID cbcca0d536bfc7000605f99cb1538ad999fc6d74
# Parent  f78dfa306918cc297a421292a0e3b5c17b279dd8
isatool browser: renamed option -d to -c (cf. isatool tool)

diff -r f78dfa306918 -r cbcca0d536bf doc-src/System/present.tex
--- a/doc-src/System/present.tex	Mon Sep 18 19:12:42 2006 +0200
+++ b/doc-src/System/present.tex	Mon Sep 18 19:12:43 2006 +0200
@@ -147,15 +147,13 @@
 Usage: browser [OPTIONS] [GRAPHFILE]
 
   Options are:
-    -d           delete file after use
+    -c           cleanup -- remove GRAPHFILE 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 causes the source file (!)\ to be deleted
-after the browser terminates; this is mainly intended for detaching
-interactive graph views from a running Isabelle session.
+\medskip The \texttt{-c} option causes the input file to be removed after use.
 
 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