Isabelle

interpret "max_facts" argument in a slice-dependent fashion, instead of forcing the same number of facts to all slices

#!/usr/bin/env bash
#
# Author: Makarius
#
# Default Isabelle application wrapper.

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