added ExcludeThm; cleaned up Makefile; fixed isalpha bug (replaced by isalnum)
#! /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 $*