added calls of init_html and make_chart;
added usage of qed
#! /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 $*