doc-src/System/Thy/Presentation.thy
changeset 28914 f993cbffc42a
parent 28838 d5db6dfcb34a
child 29435 a5f84ac14609
     1.1 --- a/doc-src/System/Thy/Presentation.thy	Sun Nov 30 12:25:54 2008 +0100
     1.2 +++ b/doc-src/System/Thy/Presentation.thy	Sun Nov 30 12:58:20 2008 +0100
     1.3 @@ -93,7 +93,7 @@
     1.4    @{verbatim isabelle} @{tool make}, or even @{verbatim isabelle} @{tool
     1.5    make}~@{verbatim all}.  The presentation output will appear in
     1.6    @{verbatim "ISABELLE_BROWSER_INFO/FOL"}, which usually refers to
     1.7 -  @{verbatim "~/isabelle/browser_info/FOL"}.  Note that option
     1.8 +  @{verbatim "~/.isabelle/browser_info/FOL"}.  Note that option
     1.9    @{verbatim "-v true"} will make the internal runs of @{tool usedir}
    1.10    more explicit about such details.
    1.11  
    1.12 @@ -756,7 +756,7 @@
    1.13    This enables users to inspect {\LaTeX} runs in further detail, e.g.\
    1.14    like this:
    1.15  \begin{ttbox}
    1.16 -  cd ~/isabelle/browser_info/HOL/Test/document
    1.17 +  cd ~/.isabelle/browser_info/HOL/Test/document
    1.18    isabelle latex -o pdf
    1.19  \end{ttbox}
    1.20  *}