easier latexing and adding of ISA manual for COMP300 repository