Added a bunch of tex files.