Chargement...

POOL

Icône pool

Messages TeX

Type de fichier : Fichier de document

Une extension de fichier pool est liée à TeX, un système de préparation de documents. Un fichier .pool contient des messages.

Qu’est‑ce qu’un fichier pool ?

Catégorie de type de fichier :
Fichier de document

Date de mise à jour : 4 août 2025

L'extension de fichier pool est associée à TeX, un système de composition et de préparation de documents pour diverses plateformes développé par le TeX Users Group (TUG).

Le fichier .pool stocke les messages écrits en TeX.

Comment ouvrir un fichier pool ?

Utilisez des outils compatibles pour travailler avec les fichiers *.pool.

Comment convertir un fichier pool ?

Ne peut probablement pas être converti en d'autres formats.

Logiciels suggérés pour ouvrir un fichier pool :

Actions logicielles associées au fichier pool

Applications logicielles qui exécutent d’autres tâches impliquant des fichiers pool:

Microsoft Windows

Extensions de fichier associées