#! /bin/sh
exec "/usr/bin/sml" @SMLload="/home/carsten/twelf-logosphere/bin/.heap/logosphere" @SMLdebug=/dev/null