#!/bin/csh
%SML @SMLload=%TWELFDIR/bin/.heap/twelf-server \
     @SMLdebug=/dev/null