.POOL - Extension de fichier
POOL est des messages Tex.
Fonctionnalités | Description |
---|---|
Extension de fichier | .pool |
Format | N/A |
Développeur par | LaTeX Project Development Team |
Catégorie | Document |
POOL est des messages Tex.
Fonctionnalités | Description |
---|---|
Extension de fichier | .pool |
Format | N/A |
Développeur par | LaTeX Project Development Team |
Catégorie | Document |
L'extension de fichier de pool est associée au Tex, un système de composition et de préparation de documents pour diverses plates-formes développées par Tex Users Group (TUG).
Le fichier .pool stocke les messages écrits dans Tex.