| changeset 6416 | 1452905753ab |
| parent 6345 | f4a3c3bb3e38 |
| child 6486 | 1f1d5e00e0a5 |
--- 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