PanLinx: TeX messages file

English	eng-000
TeX messages file

filename extensions	art-335	pool
TechTarget file types	art-336	POOL-TeX-messages-file

PanLex-PanLinx