Per cent (%) now functions as comment character in tt
box environment
#! /bin/sh#Make entire system using Standard ML of New Jersey#Pathnames will have to be modified for your siteISABELLEBIN=/homes/`whoami`/binISABELLECOMP=smlexport ISABELLEBIN ISABELLECOMP nohup make-all $*