tuned usage;
authorwenzelm
Wed Oct 20 11:05:38 1999 +0200 (1999-10-20)
changeset 7887eedfff88ee40
parent 7886 8fa551e22e52
child 7888 6e9669c311ae
tuned usage;
bin/isabelle
lib/Tools/expandshort
lib/Tools/install
     1.1 --- a/bin/isabelle	Wed Oct 20 11:05:06 1999 +0200
     1.2 +++ b/bin/isabelle	Wed Oct 20 11:05:38 1999 +0200
     1.3 @@ -31,8 +31,8 @@
     1.4    echo "    -w           reset write permissions on OUTPUT"
     1.5    echo
     1.6    echo "  INPUT (default \"$ISABELLE_LOGIC\") and OUTPUT specify in/out heaps."
     1.7 -  echo "  These are either names to be searched in the Isabelle path, or actual"
     1.8 -  echo "  file names (containing at least one /)."
     1.9 +  echo "  These are either names to be searched in the Isabelle path, or"
    1.10 +  echo "  actual file names (containing at least one /)."
    1.11    echo "  If INPUT is \"RAW_ML_SYSTEM\", just start the bare bones ML system."
    1.12    echo
    1.13    exit 1
     2.1 --- a/lib/Tools/expandshort	Wed Oct 20 11:05:06 1999 +0200
     2.2 +++ b/lib/Tools/expandshort	Wed Oct 20 11:05:38 1999 +0200
     2.3 @@ -14,8 +14,8 @@
     2.4    echo
     2.5    echo "  Recursively find .ML files, expand shorthand goal commands.  Also"
     2.6    echo "  contracts uses of resolve_tac, dresolve_tac, eresolve_tac,"
     2.7 -  echo "  forward_tac, rewrite_goals_tac on 1-element lists; furthermore expands"
     2.8 -  echo "  tabs, which are forbidden in SML string constants."
     2.9 +  echo "  forward_tac, rewrite_goals_tac on 1-element lists; furthermore"
    2.10 +  echo "  expands tabs, which are forbidden in SML string constants."
    2.11    echo
    2.12    echo "  Renames old versions of files by appending \"~~\"."
    2.13    echo
     3.1 --- a/lib/Tools/install	Wed Oct 20 11:05:06 1999 +0200
     3.2 +++ b/lib/Tools/install	Wed Oct 20 11:05:38 1999 +0200
     3.3 @@ -13,7 +13,8 @@
     3.4    echo "Usage: $PRG [OPTIONS]"
     3.5    echo
     3.6    echo "  Options are:"
     3.7 -  echo "    -d DISTDIR   refer to DISTDIR as Isabelle distribution (default ISABELLE_HOME)"
     3.8 +  echo "    -d DISTDIR   refer to DISTDIR as Isabelle distribution"
     3.9 +  echo "                 (default ISABELLE_HOME)"
    3.10    echo "    -k           install KDE application icon on Desktop"
    3.11    echo "    -p DIR       install standalone binaries in DIR"
    3.12    echo