--- 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)
--- 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)
--- 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