A pool file extension is related to the TeX a document preparation system. A .pool file contains messages.

Detailed description

Software that works with pool file extension

Add comment

Bookmark & share this page with others:

POOL file - TeX messages

What is pool file? How to open pool files?

File type specification:

Document file type icon Document file type

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.

Updated: July 19, 2018

The default software associated to pool file type:

LaTeX icon

LaTeX  Microsoft Windows software

Company or developer:
LaTeX Project Development Team

A document preparation system for high-quality typesetting, LaTeX is used to create medium-to-large technical or scientific documents but it can be used for almost any form of publishing.

Help how to open:

Use compatible tools to work with *.pool files.

How to convert:

Probably cannot be converted to other formats.

List of recommended software applications associated to the .pool file extension

Recommended software programs are sorted by OS platform (Windows, macOS, Linux, iOS, Android etc.)
and possible program actions that can be done with the file: like open pool file, edit pool file, convert pool file, view pool file, play pool file etc. (if exist software for corresponding action in File-Extensions.org's database).

  • Others pool file

Unspecified and all other actions for computer programs working with pool file - TeX messages

Click on the software link for more information about LaTeX. LaTeX uses pool file type for its internal purposes and/or also by different way than common edit or open file actions (eg. to install/execute/support an application itself, to store application or user data, configure program etc.).

Microsoft Windows:

Previous file extension
POD file extension

File-Extensions.org > Document file types

Next file extension
file extension POT

 

Follow us!

Enter any file extension without dot (e.g. pdf)
Search for file extension details and associated application(s)

RSS feed