bin/isabelle
changeset 5954 4ec8b8f957e6
parent 5815 b4d4a97df438
child 6286 ce30e19af3df
equal deleted inserted replaced
5953:d6017ce6b93e 5954:4ec8b8f957e6
    57 
    57 
    58 while getopts "Ie:m:qruw" OPT
    58 while getopts "Ie:m:qruw" OPT
    59 do
    59 do
    60   case "$OPT" in
    60   case "$OPT" in
    61     I)
    61     I)
    62       MLTEXT="$MLTEXT OuterSyntax.main();"
    62       MLTEXT="$MLTEXT Isar.main();"
    63       ;;
    63       ;;
    64     e)
    64     e)
    65       MLTEXT="$MLTEXT $OPTARG"
    65       MLTEXT="$MLTEXT $OPTARG"
    66       ;;
    66       ;;
    67     m)
    67     m)