updated Tex files