1.1 --- a/doc-src/System/Thy/Presentation.thy	Sat Jul 28 20:36:25 2012 +0200
     1.2 +++ b/doc-src/System/Thy/Presentation.thy	Sat Jul 28 21:10:54 2012 +0200
     1.3 @@ -80,8 +80,8 @@
     1.4    The easiest way to let Isabelle generate theory browsing information
     1.5    for existing sessions is to append ``@{verbatim "-i true"}'' to the
     1.6    @{setting_ref ISABELLE_USEDIR_OPTIONS} before invoking @{verbatim
     1.7 -  isabelle} @{tool make} (or @{file "$ISABELLE_HOME/build"}).  For
     1.8 -  example, add something like this to your Isabelle settings file
     1.9 +  isabelle} @{tool make}.  For example, add something like this to
    1.10 +  your Isabelle settings file
    1.11  
    1.12  \begin{ttbox}
    1.13  ISABELLE_USEDIR_OPTIONS="-i true"

     2.1 --- a/doc-src/System/Thy/document/Presentation.tex	Sat Jul 28 20:36:25 2012 +0200
     2.2 +++ b/doc-src/System/Thy/document/Presentation.tex	Sat Jul 28 21:10:54 2012 +0200
     2.3 @@ -96,8 +96,8 @@
     2.4  
     2.5    The easiest way to let Isabelle generate theory browsing information
     2.6    for existing sessions is to append ``\verb|-i true|'' to the
     2.7 -  \indexref{}{setting}{ISABELLE\_USEDIR\_OPTIONS}\hyperlink{setting.ISABELLE-USEDIR-OPTIONS}{\mbox{\isa{\isatt{ISABELLE{\isaliteral{5F}{\isacharunderscore}}USEDIR{\isaliteral{5F}{\isacharunderscore}}OPTIONS}}}} before invoking \verb|isabelle| \hyperlink{tool.make}{\mbox{\isa{\isatt{make}}}} (or \verb|$ISABELLE_HOME/build|).  For
     2.8 -  example, add something like this to your Isabelle settings file
     2.9 +  \indexref{}{setting}{ISABELLE\_USEDIR\_OPTIONS}\hyperlink{setting.ISABELLE-USEDIR-OPTIONS}{\mbox{\isa{\isatt{ISABELLE{\isaliteral{5F}{\isacharunderscore}}USEDIR{\isaliteral{5F}{\isacharunderscore}}OPTIONS}}}} before invoking \verb|isabelle| \hyperlink{tool.make}{\mbox{\isa{\isatt{make}}}}.  For example, add something like this to
    2.10 +  your Isabelle settings file
    2.11  
    2.12  \begin{ttbox}
    2.13  ISABELLE_USEDIR_OPTIONS="-i true"