bin/isabelle-process
changeset 21639 8ab7c4dbb524
parent 20929 cd2a6d00ec47
child 25504 dc960d760052
equal deleted inserted replaced
21638:49591cc0f1e7 21639:8ab7c4dbb524
   215 [ -n "$MODES" ] && MLTEXT="print_mode := [$MODES]; $MLTEXT"
   215 [ -n "$MODES" ] && MLTEXT="print_mode := [$MODES]; $MLTEXT"
   216 
   216 
   217 [ -n "$SECURE" ] && MLTEXT="$MLTEXT Secure.set_secure ();"
   217 [ -n "$SECURE" ] && MLTEXT="$MLTEXT Secure.set_secure ();"
   218 
   218 
   219 if [ -n "$PGIP" ]; then
   219 if [ -n "$PGIP" ]; then
   220   MLTEXT="$MLTEXT; ProofGeneral.init_pgip $ISAR;"
   220   MLTEXT="$MLTEXT; ProofGeneralPgip.init_pgip $ISAR;"
   221 elif [ -n "$PROOFGENERAL" ]; then
   221 elif [ -n "$PROOFGENERAL" ]; then
   222   MLTEXT="$MLTEXT; ProofGeneral.init $ISAR;"
   222   MLTEXT="$MLTEXT; ProofGeneral.init $ISAR;"
   223 elif [ "$ISAR" = true ]; then
   223 elif [ "$ISAR" = true ]; then
   224   MLTEXT="$MLTEXT; Isar.main();"
   224   MLTEXT="$MLTEXT; Isar.main();"
   225 fi
   225 fi