tuned;
authorwenzelm
Thu Jan 08 18:24:45 1998 +0100 (1998-01-08)
changeset 45394227bd14dbe7
parent 4538 0f40d6e7897d
child 4540 24fcf5ecae88
tuned;
bin/isabelle
     1.1 --- a/bin/isabelle	Thu Jan 08 18:19:48 1998 +0100
     1.2 +++ b/bin/isabelle	Thu Jan 08 18:24:45 1998 +0100
     1.3 @@ -31,7 +31,7 @@
     1.4    echo
     1.5    echo "  INPUT (default \"$ISABELLE_LOGIC\") and OUTPUT specify in/out heaps."
     1.6    echo "  These are either names to be searched in the Isabelle path, or actual"
     1.7 -  echo "  file names (then containing at least one /)."
     1.8 +  echo "  file names (containing at least one /)."
     1.9    echo "  If INPUT is \"RAW_ML_SYSTEM\", just start the bare bones ML system."
    1.10    echo
    1.11    exit 1