Final updates finished for TheorEE project.