
diff -r 50ca726466c6 -r 0a604b2fc2b1 doc-src/Ref/introduction.tex
--- 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
 




