# HG changeset patch
# User wenzelm
# Date 1389026864 -3600
# Node ID 30e2503f1aa2742567bd2900d9e64bff0ed0f383
# Parent  a7704d87f30ad08d979ca15b34ddb7832d31c2c0
more formal ISABELLE_BROWSER_INFO;

diff -r a7704d87f30a -r 30e2503f1aa2 src/Doc/System/Presentation.thy
--- a/src/Doc/System/Presentation.thy	Mon Jan 06 17:33:23 2014 +0100
+++ b/src/Doc/System/Presentation.thy	Mon Jan 06 17:47:44 2014 +0100
@@ -310,7 +310,7 @@
   inspect {\LaTeX} runs in further detail, e.g.\ like this:
 
 \begin{ttbox}
-  cd ~/.isabelle/IsabelleXXXX/browser_info/Unsorted/Test/document
+  cd "$(isabelle getenv -b ISABELLE_BROWSER_INFO)/Unsorted/Test/document"
   isabelle latex -o pdf
 \end{ttbox}
 *}
diff -r a7704d87f30a -r 30e2503f1aa2 src/Doc/Tutorial/Documents/Documents.thy
--- a/src/Doc/Tutorial/Documents/Documents.thy	Mon Jan 06 17:33:23 2014 +0100
+++ b/src/Doc/Tutorial/Documents/Documents.thy	Mon Jan 06 17:47:44 2014 +0100
@@ -343,7 +343,8 @@
   session is derived from a single parent, usually an object-logic
   image like \texttt{HOL}.  This results in an overall tree structure,
   which is reflected by the output location in the file system
-  (usually rooted at \verb,~/.isabelle/IsabelleXXXX/browser_info,).
+  (the root directory is determined by the Isabelle settings variable
+  \verb,ISABELLE_BROWSER_INFO,).
 
   \medskip The easiest way to manage Isabelle sessions is via
   \texttt{isabelle mkroot} (to generate an initial session source