# HG changeset patch
# User wenzelm
# Date 923999728 -7200
# Node ID 1452905753abb660c4ab09b649949564e784eb92
# Parent  9d2123268db69ea2adb48803a45af6dc860c9604
adapted isatool install;

diff -r 9d2123268db6 -r 1452905753ab INSTALL
--- a/INSTALL	Tue Apr 13 12:35:11 1999 +0200
+++ b/INSTALL	Tue Apr 13 12:35:28 1999 +0200
@@ -60,7 +60,7 @@
 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
+  [ISABELLE_HOME]/bin/isatool install -p /usr/local/bin