rolled back changes of touchdevelop_paper.tex file