null

	platypus_script revision 516ca24f64f1b6e45577ee44dced94e7e358336b
377N/A#!/bin/bash
377N/Ahetsdir=`dirname "$0"`
377N/Aexport PATH=$hetsdir/uDrawGraph-3.1/bin:$PATH
377N/Aexport HETS_LIB=$hetsdir/Hets-lib
377N/Aexport HETS_OWL_TOOLS=$hetsdir/hets-owl-tools
377N/Aexport HETS_APROVE=$HETS_OWL_TOOLS/AProVE.jar
377N/Aexport HETS_ONTODMU=$HETS_OWL_TOOLS/OntoDMU.jar
377N/Aexport PELLET_PATH=$hetsdir/pellet
377N/A"$hetsdir/hets" "$@"
377N/A