--- a/doc-src/TutorialI/Documents/Documents.thy Sun Nov 30 12:25:54 2008 +0100
+++ b/doc-src/TutorialI/Documents/Documents.thy Sun Nov 30 12:58:20 2008 +0100
@@ -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/browser_info,).
\medskip The easiest way to manage Isabelle sessions is via
\texttt{isabelle mkdir} (generates an initial session source setup)