Admin/build_history
author wenzelm
Mon, 03 Oct 2016 16:50:29 +0200
changeset 64021 1e23caac8757
child 64200 2e6597279d38
permissions -rwxr-xr-x
basic setup for Admin/build_history -- outside of Isabelle environment;

#!/usr/bin/env bash
#
# DESCRIPTION: build history versions from another repository clone


THIS="$(cd "$(dirname "$0")"; pwd)"

"$THIS/build" jars || exit $?

exec "$THIS/../bin/isabelle_java" isabelle.Build_History "$@"