bin/isabelle-process
changeset 52449 0ce544fbb509
parent 49713 2585042b1a30
child 53069 f196352201d6
equal deleted inserted replaced
52448:337cfc42c9c8 52449:0ce544fbb509
    94       ;;
    94       ;;
    95     e)
    95     e)
    96       MLTEXT="$MLTEXT $OPTARG"
    96       MLTEXT="$MLTEXT $OPTARG"
    97       ;;
    97       ;;
    98     f)
    98     f)
    99       MLTEXT="$MLTEXT Session.finish();"
    99       MLTEXT="$MLTEXT Command_Line.tool0 Session.finish;"
   100       ;;
   100       ;;
   101     m)
   101     m)
   102       if [ -z "$MODES" ]; then
   102       if [ -z "$MODES" ]; then
   103         MODES="\"$OPTARG\""
   103         MODES="\"$OPTARG\""
   104       else
   104       else