# HG changeset patch
# User wenzelm
# Date 1318167966 -7200
# Node ID 3498077f20127398f8e988efbf1e6d58ef0a672e
# Parent  21c09b727bf35de8e4d758869a65bada082f7ff3
updated ISABELLE_HOME_USER;

diff -r 21c09b727bf3 -r 3498077f2012 doc-src/TutorialI/Documents/Documents.thy
--- a/doc-src/TutorialI/Documents/Documents.thy	Tue Oct 04 14:51:51 2011 +0200
+++ b/doc-src/TutorialI/Documents/Documents.thy	Sun Oct 09 15:46:06 2011 +0200
@@ -344,7 +344,7 @@
   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/browser_info,).
+  (usually rooted at \verb,~/.isabelle/IsabelleXXXX/browser_info,).
 
   \medskip The easiest way to manage Isabelle sessions is via
   \texttt{isabelle mkdir} (generates an initial session source setup)
diff -r 21c09b727bf3 -r 3498077f2012 doc-src/TutorialI/Documents/document/Documents.tex
--- a/doc-src/TutorialI/Documents/document/Documents.tex	Tue Oct 04 14:51:51 2011 +0200
+++ b/doc-src/TutorialI/Documents/document/Documents.tex	Sun Oct 09 15:46:06 2011 +0200
@@ -417,7 +417,7 @@
   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/browser_info,).
+  (usually rooted at \verb,~/.isabelle/IsabelleXXXX/browser_info,).
 
   \medskip The easiest way to manage Isabelle sessions is via
   \texttt{isabelle mkdir} (generates an initial session source setup)
diff -r 21c09b727bf3 -r 3498077f2012 etc/user-settings.sample
--- a/etc/user-settings.sample	Tue Oct 04 14:51:51 2011 +0200
+++ b/etc/user-settings.sample	Sun Oct 09 15:46:06 2011 +0200
@@ -1,6 +1,6 @@
 # -*- shell-script -*- :mode=shellscript:
 #
-# Isabelle user settings sample -- for use in ~/.isabelle/etc/settings
+# Isabelle user settings sample -- for use in $ISABELLE_HOME_USER/etc/settings
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
 ISABELLE_LOGIC=HOL