# HG changeset patch
# User wenzelm
# Date 962361117 -7200
# Node ID 862c8b83ab557c86fe46c88c9ff43b73e77b1e7b
# Parent  7bf28980c5211ee5ba5aacbd5fd15f884c080294
presentation: self-contained session dirs;

diff -r 7bf28980c521 -r 862c8b83ab55 doc-src/System/present.tex
--- a/doc-src/System/present.tex	Fri Jun 30 12:30:58 2000 +0200
+++ b/doc-src/System/present.tex	Fri Jun 30 12:31:57 2000 +0200
@@ -80,9 +80,9 @@
 
 \medskip
 
-In order to present your own theories on the web, simply copy the whole
-\texttt{ISABELLE_BROWSER_INFO} directory to your WWW server, after generating
-browser info like this:
+In order to present your own theories on the web, simply copy the
+corresponding subdirectory from \texttt{ISABELLE_BROWSER_INFO} to your WWW
+server, after having generated browser info like this:
 \begin{ttbox}
 isatool usedir -i true HOL Foo
 \end{ttbox}
@@ -126,8 +126,8 @@
 \begin{ttbox}
 Usage: browser [GRAPHFILE]
 \end{ttbox}
-When no filename is specified, the browser automatically changes to
-the directory \texttt{ISABELLE_BROWSER_INFO/graph/data}.
+When no filename is specified, the browser automatically changes to the
+directory \texttt{ISABELLE_BROWSER_INFO}.
 
 \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