#!/bin/sh
# Run the Isabelle theorem prover
[ -n "$echo" ] && set -x

: ${ISABELLE_HOME=/usr/local/Isabelle/Isabelle2024}
: ${LANG=en_US.UTF-8}
export LANG
: ${CHERE_INVOKING=true}
export CHERE_INVOKING
PATH="${ISABELLE_HOME}/bin:$PATH"
export PATH
exec ${ISABELLE_HOME}/bin/isabelle "$@"