LanguagePOOL
TeX messages
File type: Document file
A pool file extension is related to the TeX a document preparation system. A .pool file contains messages.
What is pool file?
File type category:
Document file
Date updated: July 19, 2018
The pool file extension is associated with the TeX, a typesetting and document preparation system for various platforms developed by TeX Users Group (TUG).
The .pool file stores messages written in TeX.
How to open pool file?
Use compatible tools to work with *.pool files.
How to convert pool file?
Probably cannot be converted to other formats.
Suggested software to open pool file:
Associated software actions with the pool file
Software applications that handle other tasks involving pool files:
LaTeX (Microsoft Windows)