--- 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}
*}
--- 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