#!/usr/bin/env bash # # Author: Makarius # # DESCRIPTION: print Isabelle system options isabelle_admin_build jars || exit $? exec "$ISABELLE_TOOL" java isabelle.Options "$@"