1- پوشه ی تک لایوی رو که نصب کردید باز کنید. دو پوشه ی دیگه می بینید که نام یکی از اونها ورژن تک لایو رو نشون میده. البته اگر از تک لایو 2011 استفاده می کنید می تونید اون رو به ورژن 2012 آپدیت کنید.
2- در پنجره ی تکورکس:
edit -> preferences -> typesetting-> processing tools