bin/isabelle
changeset 7887 eedfff88ee40
parent 6286 ce30e19af3df
child 8359 124ad46105dd
     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