bin/isabelle_process
changeset 56628 a2df9de46060
parent 56439 95e2656b3b23
child 57581 74bbe9317aa4
equal deleted inserted replaced
56627:cb912b7de3cf 56628:a2df9de46060
   221 else
   221 else
   222   ISABELLE_PROCESS_OPTIONS="$ISABELLE_TMP/options"
   222   ISABELLE_PROCESS_OPTIONS="$ISABELLE_TMP/options"
   223   "$ISABELLE_TOOL" options -x "$ISABELLE_PROCESS_OPTIONS" -- "${SYSTEM_OPTIONS[@]}" || \
   223   "$ISABELLE_TOOL" options -x "$ISABELLE_PROCESS_OPTIONS" -- "${SYSTEM_OPTIONS[@]}" || \
   224     fail "Failed to retrieve Isabelle system options"
   224     fail "Failed to retrieve Isabelle system options"
   225   if [ "$INPUT" != RAW_ML_SYSTEM -a "$INPUT" != RAW ]; then
   225   if [ "$INPUT" != RAW_ML_SYSTEM -a "$INPUT" != RAW ]; then
   226     MLTEXT="Options.load_default () handle _ => exit 2; $MLTEXT"
   226     MLTEXT="Exn.capture_exit 2 Options.load_default (); $MLTEXT"
   227   fi
   227   fi
   228   if [ -n "$PROOFGENERAL" ]; then
   228   if [ -n "$PROOFGENERAL" ]; then
   229     MLTEXT="$MLTEXT; ProofGeneral.init ();"
   229     MLTEXT="$MLTEXT; ProofGeneral.init ();"
   230   elif [ -n "$ISAR" ]; then
   230   elif [ -n "$ISAR" ]; then
   231     MLTEXT="$MLTEXT; Isar.main ();"
   231     MLTEXT="$MLTEXT; Isar.main ();"