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