.POOL - Расширение файла
POOL - это сообщения TEX.
| Функции | Описание |
|---|---|
| Расширение файла | .pool |
| Формат | N/A |
| Разработчик | LaTeX Project Development Team |
| категория | Document |
POOL - это сообщения TEX.
| Функции | Описание |
|---|---|
| Расширение файла | .pool |
| Формат | N/A |
| Разработчик | LaTeX Project Development Team |
| категория | Document |
Расширение файлов пула связано с TEX, системой наборки и подготовки документов для различных платформ, разработанных TEX пользователями (TUG).
Файл .pool хранит сообщения, написанные в Tex.