.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.