isatool browser: renamed option -d to -c (cf. isatool tool)
Mon, 18 Sep 2006 19:12:43 +0200
changeset 20571 cbcca0d536bf
parent 20570 f78dfa306918
child 20572 2b88de40da57
isatool browser: renamed option -d to -c (cf. isatool tool)
--- 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)
 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