hets_script revision 21155e63bac193abc764d791360132392eb79c4d
21155e63bac193abc764d791360132392eb79c4dcmaeder# this script is part of Hets
21155e63bac193abc764d791360132392eb79c4dcmaeder# - Heterogenous Tool Set -
21155e63bac193abc764d791360132392eb79c4dcmaeder# Setting environment variables
21155e63bac193abc764d791360132392eb79c4dcmaeder# and starting Hets
21155e63bac193abc764d791360132392eb79c4dcmaederexport HETS_ISABELLE_LIB=/usr/lib/hets/hets-lib/Isabelle
21155e63bac193abc764d791360132392eb79c4dcmaederexport HETS_HOLLIGHT_TOOLS=/usr/lib/hets/hets-hollight-tools