added platform.tex