# HG changeset patch
# User wenzelm
# Date 921083066 -3600
# Node ID f4a3c3bb3e38b93728ee876b8eec2fe4b6d8c7b7
# Parent  9442bc6763f7a0d0550fce8dad35d555f9eec793
tuned;

diff -r 9442bc6763f7 -r f4a3c3bb3e38 INSTALL
--- a/INSTALL	Wed Mar 10 17:06:35 1999 +0100
+++ b/INSTALL	Wed Mar 10 17:24:26 1999 +0100
@@ -56,10 +56,9 @@
 terminal.  You may want to put [ISABELLE_HOME]/bin into your shell's
 search PATH.
 
-Please do *not* copy (or link) the Isabelle scripts anywhere else --
-or they just won't work!  If you really feel the urge to install
-independent Isabelle binaries somewhere you should rather do it like
-this:
+Please do *not* copy (or link) the Isabelle scripts anywhere else, or
+they just won't work!  If you really feel the urge to install
+independent Isabelle binaries anywhere else do it like this:
 
   [ISABELLE_HOME]/bin/isatool install /usr/local/bin