highest priority for proofs with unknown / very short timing -- recover original scheduling with parallel_proofs_reuse_timing = false;

#!/usr/bin/env bash

#

# Author: Makarius

#

# Default Isabelle application wrapper.

exec "$(dirname "$0")"/bin/isabelle jedit -s "$@"