# HG changeset patch
# User wenzelm
# Date 1343502654 -7200
# Node ID 80ba76b46247bfa082c2e9585bf45ad5fb564f5d
# Parent  fb446a780d503ca4b9a1a6671de40dabc564b385
discontinued $ISABELLE_HOME/build (cf. 500c6eb6c6dc);

diff -r fb446a780d50 -r 80ba76b46247 doc-src/System/Thy/Presentation.thy
--- a/doc-src/System/Thy/Presentation.thy	Sat Jul 28 20:36:25 2012 +0200
+++ b/doc-src/System/Thy/Presentation.thy	Sat Jul 28 21:10:54 2012 +0200
@@ -80,8 +80,8 @@
   The easiest way to let Isabelle generate theory browsing information
   for existing sessions is to append ``@{verbatim "-i true"}'' to the
   @{setting_ref ISABELLE_USEDIR_OPTIONS} before invoking @{verbatim
-  isabelle} @{tool make} (or @{file "$ISABELLE_HOME/build"}).  For
-  example, add something like this to your Isabelle settings file
+  isabelle} @{tool make}.  For example, add something like this to
+  your Isabelle settings file
 
 \begin{ttbox}
 ISABELLE_USEDIR_OPTIONS="-i true"
diff -r fb446a780d50 -r 80ba76b46247 doc-src/System/Thy/document/Presentation.tex
--- a/doc-src/System/Thy/document/Presentation.tex	Sat Jul 28 20:36:25 2012 +0200
+++ b/doc-src/System/Thy/document/Presentation.tex	Sat Jul 28 21:10:54 2012 +0200
@@ -96,8 +96,8 @@
 
   The easiest way to let Isabelle generate theory browsing information
   for existing sessions is to append ``\verb|-i true|'' to the
-  \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
-  example, add something like this to your Isabelle settings file
+  \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
+  your Isabelle settings file
 
 \begin{ttbox}
 ISABELLE_USEDIR_OPTIONS="-i true"