tex file edition updated