makeMacImage.sh revision 516ca24f64f1b6e45577ee44dced94e7e358336b
if [ -z "$1" ] ; then
else
VERSION=$1
fi
-C $RES
cp $OWLSRC/OntoDMU.jar $OWLSRC/AProVE.jar $OWLSRC/OWL2Parser.jar $OWLSRC/OWLLocality.jar $RES/hets-owl-tools/
cp $IMAGE /home/www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/intel-mac/dmgs/