1.1 --- a/doc-src/TutorialI/Documents/Documents.thy	Tue Oct 04 14:51:51 2011 +0200
     1.2 +++ b/doc-src/TutorialI/Documents/Documents.thy	Sun Oct 09 15:46:06 2011 +0200
     1.3 @@ -344,7 +344,7 @@
     1.4    session is derived from a single parent, usually an object-logic
     1.5    image like \texttt{HOL}.  This results in an overall tree structure,
     1.6    which is reflected by the output location in the file system
     1.7 -  (usually rooted at \verb,~/.isabelle/browser_info,).
     1.8 +  (usually rooted at \verb,~/.isabelle/IsabelleXXXX/browser_info,).
     1.9  
    1.10    \medskip The easiest way to manage Isabelle sessions is via
    1.11    \texttt{isabelle mkdir} (generates an initial session source setup)

     2.1 --- a/doc-src/TutorialI/Documents/document/Documents.tex	Tue Oct 04 14:51:51 2011 +0200
     2.2 +++ b/doc-src/TutorialI/Documents/document/Documents.tex	Sun Oct 09 15:46:06 2011 +0200
     2.3 @@ -417,7 +417,7 @@
     2.4    session is derived from a single parent, usually an object-logic
     2.5    image like \texttt{HOL}.  This results in an overall tree structure,
     2.6    which is reflected by the output location in the file system
     2.7 -  (usually rooted at \verb,~/.isabelle/browser_info,).
     2.8 +  (usually rooted at \verb,~/.isabelle/IsabelleXXXX/browser_info,).
     2.9  
    2.10    \medskip The easiest way to manage Isabelle sessions is via
    2.11    \texttt{isabelle mkdir} (generates an initial session source setup)

     3.1 --- a/etc/user-settings.sample	Tue Oct 04 14:51:51 2011 +0200
     3.2 +++ b/etc/user-settings.sample	Sun Oct 09 15:46:06 2011 +0200
     3.3 @@ -1,6 +1,6 @@
     3.4  # -*- shell-script -*- :mode=shellscript:
     3.5  #
     3.6 -# Isabelle user settings sample -- for use in ~/.isabelle/etc/settings
     3.7 +# Isabelle user settings sample -- for use in $ISABELLE_HOME_USER/etc/settings
     3.8  
     3.9  ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
    3.10  ISABELLE_LOGIC=HOL