This is the version of all files from around July 2013 when the project ended at IHPC.