Updated TeX files for the new Git repository.