hets_script revision 5a1569832754da5d278b5ebf4f440e759df348a2
#!/bin/sh -e
#
# Setting environment variables
# and starting Hets
#
export HETS_LIB=/opt/local/lib/hets/hets-lib
export HETS_ISABELLE_LIB=$HETS_ISABELLE_DIR
/opt/local/lib/hets/hets $@