Updating ISA to reflect changes we made to it and outputting to format we want