bin/isabelle
changeset 2711 098f9ce0541a
parent 2704 afa01c9f1ab0
child 2735 29434f9b95dd
     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)