src/Doc/Tutorial/Documents/Documents.thy

   batch-mode.  An Isabelle \bfindex{session} consists of a collection
   of source files that may contribute to an output document.  Each
   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
   setup) and \texttt{isabelle build} (to run sessions as specified in
   the corresponding \texttt{ROOT} file).  These Isabelle tools are