bin/isabelle
changeset 10585 58a1ed1edb65
parent 10555 2323ec838401
child 10905 e23abeef8150
     1.1 --- a/bin/isabelle	Mon Dec 04 23:20:37 2000 +0100
     1.2 +++ b/bin/isabelle	Mon Dec 04 23:21:09 2000 +0100
     1.3 @@ -86,7 +86,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)