Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/Tools/install
changeset 7887 eedfff88ee40
parent 6545 a8a235a8a4a3
child 7934 42836b6c4c73 
--- a/lib/Tools/install	Wed Oct 20 11:05:06 1999 +0200
+++ b/lib/Tools/install	Wed Oct 20 11:05:38 1999 +0200
@@ -13,7 +13,8 @@
   echo "Usage: $PRG [OPTIONS]"
   echo
   echo "  Options are:"
-  echo "    -d DISTDIR   refer to DISTDIR as Isabelle distribution (default ISABELLE_HOME)"
+  echo "    -d DISTDIR   refer to DISTDIR as Isabelle distribution"
+  echo "                 (default ISABELLE_HOME)"
   echo "    -k           install KDE application icon on Desktop"
   echo "    -p DIR       install standalone binaries in DIR"
   echo
isabelle