doc-src/TutorialI/Documents/Documents.thy
changeset 45106 3498077f2012
parent 38765 5aa8e5e770a8
child 47822 34b44d28fc4b
     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)