removed garbage;
adapted to new ThySyn (interface for 'user sections');
#! /bin/sh#Make entire system using Standard ML of New Jersey#Pathnames will have to be modified for your siteISABELLEBIN=/homes/`whoami`/binISABELLECOMP=smlISABELLEMAKE=Makefile.NJexport ISABELLEBIN ISABELLECOMP ISABELLEMAKEnohup make-all $*