fixed -m order;
authorwenzelm
Mon Mar 03 18:24:34 1997 +0100 (1997-03-03)
changeset 2711098f9ce0541a
parent 2710 3b26198fdaa5
child 2712 44a657985de1
fixed -m order;
bin/isabelle
     1.1 --- a/bin/isabelle	Mon Mar 03 14:14:04 1997 +0100
     1.2 +++ b/bin/isabelle	Mon Mar 03 18:24:34 1997 +0100
     1.3 @@ -80,7 +80,7 @@
     1.4        if [ -z "$MODES" ]; then
     1.5          MODES="\"$OPTARG\""
     1.6        else
     1.7 -        MODES="$MODES, \"$OPTARG\""
     1.8 +        MODES="\"$OPTARG\", $MODES"
     1.9        fi
    1.10        ;;
    1.11      q)