doc-src/System/Thy/Presentation.thy

 
   and then change into the @{"file" "~~/src/FOL"} directory and run
   @{verbatim isabelle} @{tool make}, or even @{verbatim isabelle} @{tool
   make}~@{verbatim all}.  The presentation output will appear in
   @{verbatim "ISABELLE_BROWSER_INFO/FOL"}, which usually refers to
-  @{verbatim "~/isabelle/browser_info/FOL"}.  Note that option
+  @{verbatim "~/.isabelle/browser_info/FOL"}.  Note that option
   @{verbatim "-v true"} will make the internal runs of @{tool usedir}
   more explicit about such details.
 
   Many standard Isabelle sessions (such as @{"file" "~~/src/HOL/ex"})
   also provide actual printable documents.  These are prepared

   process leaves the sources at a certain place within @{setting
   ISABELLE_BROWSER_INFO}, see the runtime error message for details.
   This enables users to inspect {\LaTeX} runs in further detail, e.g.\
   like this:
 \begin{ttbox}
-  cd ~/isabelle/browser_info/HOL/Test/document
+  cd ~/.isabelle/browser_info/HOL/Test/document
   isabelle latex -o pdf
 \end{ttbox}
 *}
 
 end