bin/isabelle
changeset 6286 ce30e19af3df
parent 5954 4ec8b8f957e6
child 7887 eedfff88ee40
     1.1 --- a/bin/isabelle	Thu Feb 18 12:05:16 1999 +0100
     1.2 +++ b/bin/isabelle	Thu Feb 18 12:15:55 1999 +0100
     1.3 @@ -68,7 +68,7 @@
     1.4        if [ -z "$MODES" ]; then
     1.5          MODES="\"$OPTARG\""
     1.6        else
     1.7 -        MODES="\"$OPTARG\", $MODES"
     1.8 +        MODES="$MODES, \"$OPTARG\""
     1.9        fi
    1.10        ;;
    1.11      q)