--- a/doc-src/System/Thy/Presentation.thy Sun Nov 30 12:25:54 2008 +0100
+++ b/doc-src/System/Thy/Presentation.thy Sun Nov 30 12:58:20 2008 +0100
@@ -93,7 +93,7 @@
@{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.
@@ -756,7 +756,7 @@
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}
*}