1.1 --- a/doc-src/Ref/introduction.tex	Sun Oct 31 15:26:37 1999 +0100
     1.2 +++ b/doc-src/Ref/introduction.tex	Sun Oct 31 20:11:23 1999 +0100
     1.3 @@ -39,10 +39,10 @@
     1.4  Subsequently, we assume that the \texttt{isabelle} executable is determined
     1.5  automatically by the shell, e.g.\ by adding {\tt \(\langle isabellehome
     1.6    \rangle\)/bin} to your search path.\footnote{Depending on your installation,
     1.7 -  there might be also stand-alone binaries located in some global directory
     1.8 -  such as \texttt{/usr/bin}.  Do not attempt to copy {\tt \(\langle
     1.9 -    isabellehome \rangle\)/bin/isabelle}, though!  See \texttt{isatool
    1.10 -    install} in \emph{The Isabelle System Manual} of how to do this properly.}
    1.11 +  there may be stand-alone binaries located in some global directory such as
    1.12 +  \texttt{/usr/bin}.  Do not attempt to copy {\tt \(\langle isabellehome
    1.13 +    \rangle\)/bin/isabelle}, though!  See \texttt{isatool install} in
    1.14 +  \emph{The Isabelle System Manual} of how to do this properly.}
    1.15  
    1.16  \medskip
    1.17