link ../protex/AlProTex.sty